Problem RobotsD2_gq.ts RobotsD2_gqc.ts RobotsD2_nq72.ts RobotsD2_quantor.ts RobotsD2_rareqsuuh3pb.ts RobotsD2_znenofex.ts
robots_1_5_2_1.10.qdimacs.gz 684 (682+2) 800 (799+1) 10 (10+0)
s cnf 1 (s cnf 1)
33 (31+2) 0 (0+0)
s cnf 1 (s cnf 1)
115 (114+1)
robots_1_5_2_1.4.qdimacs.gz 20 (20+0)
s cnf 1 (s cnf 1)
38 (38+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
16 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
445 (444+1)
s cnf 1 (s cnf 1 735 4189)
robots_1_5_2_1.5.qdimacs.gz 39 (39+0)
s cnf 1 (s cnf 1)
79 (79+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
29 (27+1) 0 (0+0)
s cnf 1 (s cnf 1)
88 (87+1)
robots_1_5_2_1.6.qdimacs.gz 106 (105+1)
s cnf 1 (s cnf 1)
145 (145+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
25 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
93 (91+1)
robots_1_5_2_1.7.qdimacs.gz 202 (201+1)
s cnf 1 (s cnf 1)
347 (347+1)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
28 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
75 (74+1)
robots_1_5_2_1.8.qdimacs.gz 289 (287+1)
s cnf 1 (s cnf 1)
800 (799+1) 2 (2+0)
s cnf 1 (s cnf 1)
33 (31+2) 0 (0+0)
s cnf 1 (s cnf 1)
102 (101+1)
robots_1_5_2_1.9.qdimacs.gz 674 (672+2) 800 (799+1) 14 (14+0)
s cnf 1 (s cnf 1)
39 (37+2) 0 (0+0)
s cnf 1 (s cnf 1)
117 (116+1)
robots_1_5_2_10.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 38 (37+2) 29 (29+0)
s cnf 1 (s cnf 1)
104 (103+1)
robots_1_5_2_10.4.qdimacs.gz 45 (45+0)
s cnf 1 (s cnf 1)
69 (68+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
17 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
444 (443+1)
robots_1_5_2_10.5.qdimacs.gz 185 (184+1)
s cnf 1 (s cnf 1)
328 (328+1)
s cnf 1 (s cnf 1)
10 (10+0)
s cnf 1 (s cnf 1)
47 (45+2) 0 (0+0)
s cnf 1 (s cnf 1)
87 (86+1)
robots_1_5_2_10.6.qdimacs.gz 607 (604+4) 800 (799+1) 12 (12+0)
s cnf 1 (s cnf 1)
18 (17+2) 0 (0+0)
s cnf 1 (s cnf 1)
118 (116+1)
robots_1_5_2_10.7.qdimacs.gz 746 (744+2) 800 (799+1) 95 (95+0)
s cnf 1 (s cnf 1)
32 (31+2) 2 (2+0)
s cnf 1 (s cnf 1)
136 (135+1)
robots_1_5_2_10.8.qdimacs.gz 738 (736+2) 800 (799+1) 376 (376+0)
s cnf 1 (s cnf 1)
28 (26+2) 6 (6+0)
s cnf 1 (s cnf 1)
107 (106+1)
robots_1_5_2_10.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 23 (21+2) 13 (13+0)
s cnf 1 (s cnf 1)
127 (126+1)
robots_1_5_2_100.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 24 (22+2) 6 (6+0)
s cnf 1 (s cnf 1)
129 (127+1)
robots_1_5_2_100.4.qdimacs.gz 31 (31+0)
s cnf 1 (s cnf 1)
41 (41+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
13 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
187 (186+1)
robots_1_5_2_100.5.qdimacs.gz 106 (105+1)
s cnf 1 (s cnf 1)
132 (132+0)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
32 (30+2) 0 (0+0)
s cnf 1 (s cnf 1)
215 (214+1)
robots_1_5_2_100.6.qdimacs.gz 406 (405+2)
s cnf 1 (s cnf 1)
435 (434+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
21 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
64 (63+1)
robots_1_5_2_100.7.qdimacs.gz 626 (624+2) 800 (799+1) 65 (64+0)
s cnf 1 (s cnf 1)
32 (30+2) 0 (0+0)
s cnf 1 (s cnf 1)
104 (102+1)
robots_1_5_2_100.8.qdimacs.gz 657 (655+2) 800 (799+1) 215 (215+0)
s cnf 1 (s cnf 1)
40 (38+2) 1 (1+0)
s cnf 1 (s cnf 1)
83 (82+1)
robots_1_5_2_100.9.qdimacs.gz 690 (689+2) 800 (799+1) 566 (566+0)
s cnf 1 (s cnf 1)
27 (25+2) 3 (3+0)
s cnf 1 (s cnf 1)
102 (101+1)
robots_1_5_2_11.10.qdimacs.gz 800 (798+2) 800 (799+1) 228 (228+0)
s cnf 0 (s cnf 0)
27 (25+2) 0 (0+0)
s cnf 0 (s cnf 0)
97 (96+1)
robots_1_5_2_11.4.qdimacs.gz 33 (33+0)
s cnf 1 (s cnf 1)
64 (64+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
17 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
133 (132+1)
s cnf 1 (s cnf 1 435 3884)
robots_1_5_2_11.5.qdimacs.gz 121 (121+1)
s cnf 1 (s cnf 1)
214 (213+1)
s cnf 1 (s cnf 1)
12 (12+0)
s cnf 1 (s cnf 1)
28 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
193 (192+1)
robots_1_5_2_11.6.qdimacs.gz 582 (580+2) 800 (799+1) 16 (16+0)
s cnf 1 (s cnf 1)
27 (25+2) 0 (0+0)
s cnf 1 (s cnf 1)
95 (94+1)
robots_1_5_2_11.7.qdimacs.gz 718 (716+2) 800 (799+1) 88 (88+0)
s cnf 0 (s cnf 0)
29 (28+2) 0 (0+0)
s cnf 0 (s cnf 0)
127 (126+1)
robots_1_5_2_11.8.qdimacs.gz 769 (767+2) 800 (799+1) 49 (49+0)
s cnf 0 (s cnf 0)
31 (29+2) 1 (1+0)
s cnf 0 (s cnf 0)
133 (132+1)
robots_1_5_2_11.9.qdimacs.gz 800 (798+2) 800 (799+1) 56 (56+0)
s cnf 0 (s cnf 0)
32 (30+2) 1 (1+0)
s cnf 0 (s cnf 0)
94 (93+1)
robots_1_5_2_12.10.qdimacs.gz 775 (773+2) 800 (799+1) 567 (567+0)
s cnf 0 (s cnf 0)
30 (28+2) 4 (4+0)
s cnf 0 (s cnf 0)
90 (88+1)
robots_1_5_2_12.4.qdimacs.gz 38 (37+0)
s cnf 1 (s cnf 1)
49 (49+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
15 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
581 (580+1)
robots_1_5_2_12.5.qdimacs.gz 153 (152+1)
s cnf 1 (s cnf 1)
227 (227+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
37 (35+2) 0 (0+0)
s cnf 1 (s cnf 1)
183 (182+1)
robots_1_5_2_12.6.qdimacs.gz 586 (584+2) 800 (799+1) 27 (27+0)
s cnf 1 (s cnf 1)
37 (35+2) 1 (1+0)
s cnf 1 (s cnf 1)
79 (78+1)
robots_1_5_2_12.7.qdimacs.gz 742 (740+2) 800 (799+1) 71 (71+0)
s cnf 1 (s cnf 1)
20 (19+2) 1 (1+0)
s cnf 1 (s cnf 1)
89 (88+1)
robots_1_5_2_12.8.qdimacs.gz 718 (716+2) 800 (799+1) 182 (181+0)
s cnf 0 (s cnf 0)
23 (21+2) 2 (2+0)
s cnf 0 (s cnf 0)
101 (99+1)
robots_1_5_2_12.9.qdimacs.gz 794 (792+2) 800 (799+1) 644 (644+0)
s cnf 0 (s cnf 0)
29 (28+2) 5 (5+0)
s cnf 0 (s cnf 0)
136 (135+1)
robots_1_5_2_13.10.qdimacs.gz 573 (571+1)
s cnf 0 (s cnf 0)
800 (799+1) 74 (74+0)
s cnf 0 (s cnf 0)
28 (26+2) 1 (1+0)
s cnf 0 (s cnf 0)
110 (109+1)
robots_1_5_2_13.4.qdimacs.gz 40 (40+0)
s cnf 1 (s cnf 1)
79 (79+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
22 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
374 (372+1)
s cnf 1 (s cnf 1 559 4211)
robots_1_5_2_13.5.qdimacs.gz 215 (214+1)
s cnf 1 (s cnf 1)
356 (356+1)
s cnf 1 (s cnf 1)
11 (11+0)
s cnf 1 (s cnf 1)
43 (42+2) 0 (0+0)
s cnf 1 (s cnf 1)
172 (171+1)
robots_1_5_2_13.6.qdimacs.gz 328 (327+1)
s cnf 0 (s cnf 0)
800 (799+1) 43 (43+0)
s cnf 0 (s cnf 0)
36 (35+2) 0 (0+0)
s cnf 0 (s cnf 0)
112 (111+1)
robots_1_5_2_13.7.qdimacs.gz 771 (769+2) 800 (799+1) 31 (31+0)
s cnf 0 (s cnf 0)
26 (24+2) 0 (0+0)
s cnf 0 (s cnf 0)
92 (91+1)
robots_1_5_2_13.8.qdimacs.gz 724 (722+2)
s cnf 0 (s cnf 0)
800 (799+1) 14 (14+0)
s cnf 0 (s cnf 0)
37 (35+2) 1 (1+0)
s cnf 0 (s cnf 0)
129 (127+1)
robots_1_5_2_13.9.qdimacs.gz 800 (798+2) 800 (799+1) 24 (24+0)
s cnf 0 (s cnf 0)
35 (34+2) 0 (0+0)
s cnf 0 (s cnf 0)
104 (103+1)
robots_1_5_2_14.10.qdimacs.gz 786 (784+2) 800 (799+1) 41 (41+0)
s cnf 0 (s cnf 0)
20 (18+2) 5 (5+0)
s cnf 0 (s cnf 0)
95 (94+1)
robots_1_5_2_14.4.qdimacs.gz 54 (53+0)
s cnf 1 (s cnf 1)
87 (87+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
28 (26+2) 0 (0+0)
s cnf 1 (s cnf 1)
337 (336+1)
s cnf 1 (s cnf 1 593 4428)
robots_1_5_2_14.5.qdimacs.gz 197 (196+1)
s cnf 1 (s cnf 1)
443 (442+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
17 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
128 (127+1)
robots_1_5_2_14.6.qdimacs.gz 695 (693+2) 800 (799+1) 35 (35+0)
s cnf 1 (s cnf 1)
20 (18+2) 1 (1+0)
s cnf 1 (s cnf 1)
87 (86+1)
robots_1_5_2_14.7.qdimacs.gz 792 (790+2) 800 (799+1) 153 (153+0)
s cnf 1 (s cnf 1)
28 (26+2) 5 (5+0)
s cnf 1 (s cnf 1)
99 (98+1)
robots_1_5_2_14.8.qdimacs.gz 714 (712+2) 800 (799+1) 35 (35+0)
s cnf 0 (s cnf 0)
23 (21+2) 8 (8+0)
s cnf 0 (s cnf 0)
93 (91+1)
robots_1_5_2_14.9.qdimacs.gz 800 (798+2) 800 (799+1) 34 (34+0)
s cnf 0 (s cnf 0)
25 (24+2) 16 (16+0)
s cnf 0 (s cnf 0)
151 (149+1)
robots_1_5_2_15.10.qdimacs.gz 800 (798+2) 800 (799+1) 28 (28+0)
s cnf 0 (s cnf 0)
34 (32+2) 3 (3+0)
s cnf 0 (s cnf 0)
129 (128+1)
robots_1_5_2_15.4.qdimacs.gz 36 (36+0)
s cnf 1 (s cnf 1)
63 (63+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
16 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
496 (494+1)
robots_1_5_2_15.5.qdimacs.gz 173 (173+1)
s cnf 1 (s cnf 1)
312 (312+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
26 (24+2) 0 (0+0)
s cnf 1 (s cnf 1)
93 (91+1)
robots_1_5_2_15.6.qdimacs.gz 569 (567+2) 800 (799+1) 26 (25+0)
s cnf 1 (s cnf 1)
19 (17+2) 0 (0+0)
s cnf 1 (s cnf 1)
80 (79+1)
robots_1_5_2_15.7.qdimacs.gz 787 (783+4) 800 (799+1) 68 (68+0)
s cnf 1 (s cnf 1)
18 (16+2) 2 (2+0)
s cnf 1 (s cnf 1)
89 (88+1)
robots_1_5_2_15.8.qdimacs.gz 800 (798+2) 800 (799+1) 312 (312+0)
s cnf 0 (s cnf 0)
24 (22+1) 7 (6+0)
s cnf 0 (s cnf 0)
105 (104+1)
robots_1_5_2_15.9.qdimacs.gz 709 (707+2) 800 (799+1) 618 (618+0)
s cnf 0 (s cnf 0)
32 (30+2) 3 (3+0)
s cnf 0 (s cnf 0)
112 (111+1)
robots_1_5_2_16.10.qdimacs.gz 777 (776+2) 800 (799+1) 800 (800+0) 46 (45+1) 5 (5+0)
s cnf 1 (s cnf 1)
112 (110+1)
robots_1_5_2_16.4.qdimacs.gz 35 (35+0)
s cnf 1 (s cnf 1)
75 (75+0)
s cnf 1 (s cnf 1)
2 (1+0)
s cnf 1 (s cnf 1)
23 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
154 (153+1)
robots_1_5_2_16.5.qdimacs.gz 87 (87+0)
s cnf 1 (s cnf 1)
198 (197+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
32 (30+2) 0 (0+0)
s cnf 1 (s cnf 1)
211 (209+1)
robots_1_5_2_16.6.qdimacs.gz 431 (430+1)
s cnf 1 (s cnf 1)
633 (632+1)
s cnf 1 (s cnf 1)
22 (22+0)
s cnf 1 (s cnf 1)
29 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
133 (132+1)
robots_1_5_2_16.7.qdimacs.gz 632 (630+2) 800 (799+1) 36 (36+0)
s cnf 1 (s cnf 1)
27 (25+2) 0 (0+0)
s cnf 1 (s cnf 1)
83 (82+1)
robots_1_5_2_16.8.qdimacs.gz 677 (675+2) 800 (799+1) 113 (113+0)
s cnf 1 (s cnf 1)
26 (25+2) 1 (1+0)
s cnf 1 (s cnf 1)
91 (90+1)
robots_1_5_2_16.9.qdimacs.gz 800 (798+2) 800 (799+1) 625 (625+0)
s cnf 1 (s cnf 1)
30 (29+2) 2 (2+0)
s cnf 1 (s cnf 1)
102 (100+1)
robots_1_5_2_17.10.qdimacs.gz 800 (798+2) 800 (799+1) 339 (338+0)
s cnf 0 (s cnf 0)
35 (33+2) 1 (1+0)
s cnf 0 (s cnf 0)
128 (127+1)
robots_1_5_2_17.4.qdimacs.gz 55 (54+0)
s cnf 1 (s cnf 1)
98 (98+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
25 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
584 (583+1)
robots_1_5_2_17.5.qdimacs.gz 300 (298+1)
s cnf 1 (s cnf 1)
548 (547+1)
s cnf 1 (s cnf 1)
14 (14+0)
s cnf 1 (s cnf 1)
47 (45+2) 1 (1+0)
s cnf 1 (s cnf 1)
163 (162+1)
robots_1_5_2_17.6.qdimacs.gz 454 (452+1)
s cnf 0 (s cnf 0)
800 (799+1) 11 (11+0)
s cnf 0 (s cnf 0)
19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
87 (86+1)
robots_1_5_2_17.7.qdimacs.gz 800 (798+2) 800 (799+1) 15 (15+0)
s cnf 0 (s cnf 0)
20 (18+2) 1 (1+0)
s cnf 0 (s cnf 0)
106 (105+1)
robots_1_5_2_17.8.qdimacs.gz 793 (790+2) 800 (799+1) 195 (195+0)
s cnf 0 (s cnf 0)
27 (25+2) 1 (1+0)
s cnf 0 (s cnf 0)
118 (116+1)
robots_1_5_2_17.9.qdimacs.gz 780 (778+2) 800 (799+1) 306 (306+0)
s cnf 0 (s cnf 0)
26 (24+2) 1 (1+0)
s cnf 0 (s cnf 0)
96 (95+1)
robots_1_5_2_18.10.qdimacs.gz 648 (646+2) 800 (799+1) 5 (5+0)
s cnf 1 (s cnf 1)
28 (26+2) 0 (0+0)
s cnf 1 (s cnf 1)
110 (109+1)
robots_1_5_2_18.4.qdimacs.gz 19 (19+0)
s cnf 1 (s cnf 1)
40 (39+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
25 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
800 (799+1)
robots_1_5_2_18.5.qdimacs.gz 40 (39+0)
s cnf 1 (s cnf 1)
81 (81+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
23 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
95 (93+1)
robots_1_5_2_18.6.qdimacs.gz 66 (66+0)
s cnf 1 (s cnf 1)
159 (159+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
26 (24+2) 0 (0+0)
s cnf 1 (s cnf 1)
86 (85+1)
robots_1_5_2_18.7.qdimacs.gz 170 (169+1)
s cnf 1 (s cnf 1)
333 (332+1)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
19 (17+2) 0 (0+0)
s cnf 1 (s cnf 1)
81 (80+1)
robots_1_5_2_18.8.qdimacs.gz 281 (280+1)
s cnf 1 (s cnf 1)
772 (771+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
24 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
97 (96+1)
robots_1_5_2_18.9.qdimacs.gz 611 (610+2) 800 (799+1) 13 (13+0)
s cnf 1 (s cnf 1)
26 (24+2) 0 (0+0)
s cnf 1 (s cnf 1)
108 (107+1)
robots_1_5_2_19.10.qdimacs.gz 402 (401+1)
s cnf 0 (s cnf 0)
631 (630+1)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
117 (116+1)
robots_1_5_2_19.4.qdimacs.gz 34 (34+0)
s cnf 1 (s cnf 1)
68 (68+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
14 (12+2) 0 (0+0)
s cnf 1 (s cnf 1)
436 (434+1)
robots_1_5_2_19.5.qdimacs.gz 94 (93+0)
s cnf 0 (s cnf 0)
232 (231+1)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
32 (30+2) 0 (0+0)
s cnf 0 (s cnf 0)
122 (121+1)
robots_1_5_2_19.6.qdimacs.gz 113 (112+1)
s cnf 0 (s cnf 0)
376 (375+1)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
25 (23+2) 0 (0+0)
s cnf 0 (s cnf 0)
78 (77+1)
robots_1_5_2_19.7.qdimacs.gz 171 (171+1)
s cnf 0 (s cnf 0)
144 (143+1)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
26 (24+2) 0 (0+0)
s cnf 0 (s cnf 0)
104 (103+1)
robots_1_5_2_19.8.qdimacs.gz 337 (336+1)
s cnf 0 (s cnf 0)
800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
40 (38+2) 0 (0+0)
s cnf 0 (s cnf 0)
470 (469+1)
robots_1_5_2_19.9.qdimacs.gz 189 (189+1)
s cnf 0 (s cnf 0)
800 (799+1) 3 (3+0)
s cnf 0 (s cnf 0)
36 (34+2) 0 (0+0)
s cnf 0 (s cnf 0)
122 (121+1)
robots_1_5_2_2.10.qdimacs.gz 738 (736+2) 800 (799+1) 800 (800+0) 28 (27+2) 107 (107+0)
s cnf 1 (s cnf 1)
123 (122+1)
robots_1_5_2_2.4.qdimacs.gz 43 (43+0)
s cnf 1 (s cnf 1)
66 (66+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
22 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
542 (540+1)
robots_1_5_2_2.5.qdimacs.gz 134 (133+1)
s cnf 1 (s cnf 1)
282 (281+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
17 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
81 (80+1)
robots_1_5_2_2.6.qdimacs.gz 636 (634+2) 800 (799+1) 33 (33+0)
s cnf 1 (s cnf 1)
19 (18+2) 1 (1+0)
s cnf 1 (s cnf 1)
99 (98+1)
robots_1_5_2_2.7.qdimacs.gz 686 (684+2) 800 (799+1) 120 (120+0)
s cnf 1 (s cnf 1)
45 (43+2) 2 (2+0)
s cnf 1 (s cnf 1)
92 (91+1)
robots_1_5_2_2.8.qdimacs.gz 701 (699+2) 800 (799+1) 505 (505+0)
s cnf 1 (s cnf 1)
27 (26+2) 9 (9+0)
s cnf 1 (s cnf 1)
110 (108+1)
robots_1_5_2_2.9.qdimacs.gz 783 (782+2) 800 (799+1) 800 (800+0) 30 (28+2) 33 (33+0)
s cnf 1 (s cnf 1)
127 (126+1)
robots_1_5_2_20.10.qdimacs.gz 779 (777+2) 800 (799+1) 800 (800+0) 32 (31+2) 119 (119+0)
s cnf 1 (s cnf 1)
108 (107+1)
robots_1_5_2_20.4.qdimacs.gz 42 (42+0)
s cnf 1 (s cnf 1)
67 (67+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
15 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
150 (149+1)
robots_1_5_2_20.5.qdimacs.gz 184 (184+1)
s cnf 1 (s cnf 1)
322 (321+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
25 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
87 (86+1)
robots_1_5_2_20.6.qdimacs.gz 670 (666+4) 800 (799+1) 52 (52+0)
s cnf 1 (s cnf 1)
31 (29+2) 1 (1+0)
s cnf 1 (s cnf 1)
122 (121+1)
robots_1_5_2_20.7.qdimacs.gz 748 (746+2) 800 (799+1) 103 (103+0)
s cnf 1 (s cnf 1)
19 (17+2) 2 (2+0)
s cnf 1 (s cnf 1)
81 (80+1)
robots_1_5_2_20.8.qdimacs.gz 685 (683+2) 800 (799+1) 396 (396+0)
s cnf 1 (s cnf 1)
23 (21+2) 6 (6+0)
s cnf 1 (s cnf 1)
126 (124+1)
robots_1_5_2_20.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 29 (27+2) 32 (32+0)
s cnf 1 (s cnf 1)
146 (145+1)
robots_1_5_2_21.10.qdimacs.gz 800 (798+2) 800 (799+1) 23 (23+0)
s cnf 1 (s cnf 1)
26 (24+2) 0 (0+0)
s cnf 1 (s cnf 1)
102 (101+1)
robots_1_5_2_21.4.qdimacs.gz 28 (28+0)
s cnf 1 (s cnf 1)
61 (61+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
338 (337+1)
robots_1_5_2_21.5.qdimacs.gz 50 (49+0)
s cnf 1 (s cnf 1)
108 (108+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
57 (55+2) 0 (0+0)
s cnf 1 (s cnf 1)
129 (128+1)
robots_1_5_2_21.6.qdimacs.gz 82 (82+0)
s cnf 1 (s cnf 1)
223 (222+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
32 (30+1) 0 (0+0)
s cnf 1 (s cnf 1)
92 (91+1)
robots_1_5_2_21.7.qdimacs.gz 193 (192+1)
s cnf 1 (s cnf 1)
435 (434+1)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
23 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
99 (98+1)
robots_1_5_2_21.8.qdimacs.gz 295 (294+1)
s cnf 1 (s cnf 1)
800 (799+1) 15 (15+0)
s cnf 1 (s cnf 1)
29 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
114 (113+1)
robots_1_5_2_21.9.qdimacs.gz 571 (569+2)
s cnf 1 (s cnf 1)
800 (799+1) 36 (36+0)
s cnf 1 (s cnf 1)
34 (33+2) 0 (0+0)
s cnf 1 (s cnf 1)
135 (133+1)
robots_1_5_2_22.10.qdimacs.gz 800 (798+2) 800 (799+1) 345 (345+0)
s cnf 0 (s cnf 0)
35 (33+2) 1 (1+0)
s cnf 0 (s cnf 0)
128 (126+1)
robots_1_5_2_22.4.qdimacs.gz 56 (55+0)
s cnf 1 (s cnf 1)
102 (101+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
25 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
585 (584+1)
robots_1_5_2_22.5.qdimacs.gz 306 (305+1)
s cnf 1 (s cnf 1)
554 (553+1)
s cnf 1 (s cnf 1)
15 (15+0)
s cnf 1 (s cnf 1)
47 (45+2) 1 (1+0)
s cnf 1 (s cnf 1)
163 (161+1)
robots_1_5_2_22.6.qdimacs.gz 457 (456+1)
s cnf 0 (s cnf 0)
800 (799+1) 11 (11+0)
s cnf 0 (s cnf 0)
19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
88 (87+1)
robots_1_5_2_22.7.qdimacs.gz 792 (790+2) 800 (799+1) 15 (15+0)
s cnf 0 (s cnf 0)
20 (18+2) 1 (1+0)
s cnf 0 (s cnf 0)
106 (105+1)
robots_1_5_2_22.8.qdimacs.gz 784 (782+2) 800 (799+1) 202 (202+0)
s cnf 0 (s cnf 0)
27 (25+2) 1 (1+0)
s cnf 0 (s cnf 0)
119 (118+1)
robots_1_5_2_22.9.qdimacs.gz 800 (798+2) 800 (799+1) 299 (299+0)
s cnf 0 (s cnf 0)
25 (24+2) 1 (1+0)
s cnf 0 (s cnf 0)
97 (96+1)
robots_1_5_2_23.10.qdimacs.gz 799 (797+2) 800 (799+1) 1 (1+0)
s cnf 0 (s cnf 0)
22 (21+2) 1 (1+0)
s cnf 0 (s cnf 0)
98 (96+1)
robots_1_5_2_23.4.qdimacs.gz 30 (30+0)
s cnf 1 (s cnf 1)
64 (63+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
19 (17+1) 0 (0+0)
s cnf 1 (s cnf 1)
245 (244+1)
s cnf 1 (s cnf 1 782 4346)
robots_1_5_2_23.5.qdimacs.gz 154 (153+1)
s cnf 1 (s cnf 1)
298 (297+1)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
24 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
194 (193+1)
robots_1_5_2_23.6.qdimacs.gz 255 (254+1)
s cnf 0 (s cnf 0)
800 (799+1) 3 (3+0)
s cnf 0 (s cnf 0)
29 (27+2) 1 (1+0)
s cnf 0 (s cnf 0)
98 (96+1)
robots_1_5_2_23.7.qdimacs.gz 331 (330+1)
s cnf 0 (s cnf 0)
262 (261+1)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s cnf 0)
25 (23+2) 0 (0+0)
s cnf 0 (s cnf 0)
97 (96+1)
robots_1_5_2_23.8.qdimacs.gz 123 (123+1)
s cnf 0 (s cnf 0)
800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
96 (95+1)
robots_1_5_2_23.9.qdimacs.gz 800 (798+2) 800 (799+1) 9 (9+0)
s cnf 0 (s cnf 0)
22 (20+2) 1 (1+0)
s cnf 0 (s cnf 0)
241 (239+1)
robots_1_5_2_24.10.qdimacs.gz 754 (753+2) 800 (799+1) 12 (12+0)
s cnf 0 (s cnf 0)
24 (22+2) 1 (1+0)
s cnf 0 (s cnf 0)
108 (107+1)
robots_1_5_2_24.4.qdimacs.gz 33 (32+0)
s cnf 1 (s cnf 1)
62 (62+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
14 (12+2) 0 (0+0)
s cnf 1 (s cnf 1)
120 (119+1)
robots_1_5_2_24.5.qdimacs.gz 128 (127+1)
s cnf 1 (s cnf 1)
235 (234+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
28 (26+2) 0 (0+0)
s cnf 1 (s cnf 1)
138 (137+1)
robots_1_5_2_24.6.qdimacs.gz 417 (416+1)
s cnf 0 (s cnf 0)
800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0)
26 (24+2) 0 (0+0)
s cnf 0 (s cnf 0)
89 (88+1)
robots_1_5_2_24.7.qdimacs.gz 211 (210+1)
s cnf 0 (s cnf 0)
800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
83 (82+1)
robots_1_5_2_24.8.qdimacs.gz 742 (740+2) 800 (799+1) 12 (12+0)
s cnf 0 (s cnf 0)
21 (20+2) 0 (0+0)
s cnf 0 (s cnf 0)
109 (108+1)
robots_1_5_2_24.9.qdimacs.gz 778 (777+2) 800 (799+1) 22 (22+0)
s cnf 0 (s cnf 0)
40 (39+2) 1 (1+0)
s cnf 0 (s cnf 0)
140 (139+1)
robots_1_5_2_25.10.qdimacs.gz 799 (797+2) 800 (799+1) 800 (800+0) 28 (26+2) 210 (210+0)
s cnf 1 (s cnf 1)
116 (115+1)
robots_1_5_2_25.4.qdimacs.gz 57 (57+0)
s cnf 1 (s cnf 1)
93 (93+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
19 (17+2) 0 (0+0)
s cnf 1 (s cnf 1)
377 (375+1)
robots_1_5_2_25.5.qdimacs.gz 282 (281+1)
s cnf 1 (s cnf 1)
592 (591+1)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
19 (17+2) 0 (0+0)
s cnf 1 (s cnf 1)
104 (103+1)
robots_1_5_2_25.6.qdimacs.gz 730 (728+2) 800 (799+1) 24 (24+0)
s cnf 1 (s cnf 1)
22 (20+2) 1 (1+0)
s cnf 1 (s cnf 1)
87 (85+1)
robots_1_5_2_25.7.qdimacs.gz 792 (788+4) 800 (799+1) 292 (291+0)
s cnf 1 (s cnf 1)
32 (30+2) 4 (4+0)
s cnf 1 (s cnf 1)
112 (111+1)
robots_1_5_2_25.8.qdimacs.gz 724 (722+2) 800 (799+1) 716 (716+0)
s cnf 1 (s cnf 1)
21 (19+2) 14 (14+0)
s cnf 1 (s cnf 1)
118 (117+1)
robots_1_5_2_25.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 49 (47+2) 58 (58+0)
s cnf 1 (s cnf 1)
103 (102+1)
robots_1_5_2_26.10.qdimacs.gz 800 (798+2) 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
42 (41+2) 1 (1+0)
s cnf 0 (s cnf 0)
107 (105+1)
robots_1_5_2_26.4.qdimacs.gz 45 (45+0)
s cnf 1 (s cnf 1)
81 (81+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
20 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
433 (432+1)
robots_1_5_2_26.5.qdimacs.gz 206 (205+1)
s cnf 1 (s cnf 1)
307 (307+1)
s cnf 1 (s cnf 1)
12 (12+0)
s cnf 1 (s cnf 1)
27 (25+2) 0 (0+0)
s cnf 1 (s cnf 1)
125 (123+1)
robots_1_5_2_26.6.qdimacs.gz 663 (661+2)
s cnf 0 (s cnf 0)
800 (799+1) 15 (15+0)
s cnf 0 (s cnf 0)
19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
74 (72+1)
robots_1_5_2_26.7.qdimacs.gz 757 (755+2) 800 (799+1) 12 (12+0)
s cnf 0 (s cnf 0)
43 (42+2) 1 (1+0)
s cnf 0 (s cnf 0)
68 (67+1)
robots_1_5_2_26.8.qdimacs.gz 734 (732+2) 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
45 (44+1) 1 (1+0)
s cnf 0 (s cnf 0)
119 (117+1)
robots_1_5_2_26.9.qdimacs.gz 800 (798+2) 800 (799+1) 16 (16+0)
s cnf 0 (s cnf 0)
43 (42+2) 2 (2+0)
s cnf 0 (s cnf 0)
149 (147+1)
robots_1_5_2_27.10.qdimacs.gz 740 (738+2) 800 (799+1) 12 (12+0)
s cnf 0 (s cnf 0)
24 (23+2) 1 (1+0)
s cnf 0 (s cnf 0)
109 (107+1)
robots_1_5_2_27.4.qdimacs.gz 32 (31+0)
s cnf 1 (s cnf 1)
62 (62+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
14 (12+2) 0 (0+0)
s cnf 1 (s cnf 1)
120 (119+1)
robots_1_5_2_27.5.qdimacs.gz 124 (123+1)
s cnf 1 (s cnf 1)
234 (233+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
28 (26+1) 0 (0+0)
s cnf 1 (s cnf 1)
139 (138+1)
robots_1_5_2_27.6.qdimacs.gz 426 (425+1)
s cnf 0 (s cnf 0)
800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0)
26 (24+2) 1 (1+0)
s cnf 0 (s cnf 0)
90 (88+1)
robots_1_5_2_27.7.qdimacs.gz 205 (204+1)
s cnf 0 (s cnf 0)
800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
23 (21+2) 1 (1+0)
s cnf 0 (s cnf 0)
84 (83+1)
robots_1_5_2_27.8.qdimacs.gz 752 (750+2) 800 (799+1) 12 (12+0)
s cnf 0 (s cnf 0)
21 (20+2) 0 (0+0)
s cnf 0 (s cnf 0)
109 (107+1)
robots_1_5_2_27.9.qdimacs.gz 778 (777+2) 800 (799+1) 20 (20+0)
s cnf 0 (s cnf 0)
41 (39+2) 2 (2+0)
s cnf 0 (s cnf 0)
140 (139+1)
robots_1_5_2_28.10.qdimacs.gz 800 (798+2) 800 (799+1) 715 (715+0)
s cnf 0 (s cnf 0)
29 (27+2) 16 (16+0)
s cnf 0 (s cnf 0)
108 (107+1)
robots_1_5_2_28.4.qdimacs.gz 40 (40+0)
s cnf 1 (s cnf 1)
74 (73+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
15 (13+2) 0 (0+0)
s cnf 1 (s cnf 1)
318 (316+1)
robots_1_5_2_28.5.qdimacs.gz 140 (139+1)
s cnf 1 (s cnf 1)
296 (296+1)
s cnf 1 (s cnf 1)
13 (13+0)
s cnf 1 (s cnf 1)
41 (39+2) 0 (0+0)
s cnf 1 (s cnf 1)
164 (162+1)
robots_1_5_2_28.6.qdimacs.gz 577 (575+2) 800 (799+1) 29 (29+0)
s cnf 1 (s cnf 1)
39 (37+2) 1 (1+0)
s cnf 1 (s cnf 1)
80 (78+1)
robots_1_5_2_28.7.qdimacs.gz 800 (798+2) 800 (799+1) 111 (110+0)
s cnf 1 (s cnf 1)
20 (19+2) 2 (2+0)
s cnf 1 (s cnf 1)
95 (94+1)
robots_1_5_2_28.8.qdimacs.gz 787 (784+2) 800 (799+1) 137 (137+0)
s cnf 0 (s cnf 0)
21 (20+2) 1 (1+0)
s cnf 0 (s cnf 0)
97 (96+1)
robots_1_5_2_28.9.qdimacs.gz 780 (778+2) 800 (799+1) 419 (419+0)
s cnf 0 (s cnf 0)
27 (26+2) 1 (1+0)
s cnf 0 (s cnf 0)
130 (129+1)
robots_1_5_2_29.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 25 (23+2) 291 (290+1)
s cnf 1 (s cnf 1)
125 (124+1)
robots_1_5_2_29.4.qdimacs.gz 47 (47+0)
s cnf 1 (s cnf 1)
72 (71+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
14 (12+2) 0 (0+0)
s cnf 1 (s cnf 1)
164 (162+1)
robots_1_5_2_29.5.qdimacs.gz 200 (199+1)
s cnf 1 (s cnf 1)
385 (384+1)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
23 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
99 (98+1)
robots_1_5_2_29.6.qdimacs.gz 687 (685+2) 800 (799+1) 54 (54+0)
s cnf 1 (s cnf 1)
30 (28+2) 2 (2+0)
s cnf 1 (s cnf 1)
74 (73+1)
robots_1_5_2_29.7.qdimacs.gz 752 (749+2) 800 (799+1) 107 (107+0)
s cnf 1 (s cnf 1)
24 (22+2) 6 (6+0)
s cnf 1 (s cnf 1)
93 (91+1)
robots_1_5_2_29.8.qdimacs.gz 740 (738+2) 800 (799+1) 650 (650+0)
s cnf 1 (s cnf 1)
20 (19+2) 22 (22+0)
s cnf 1 (s cnf 1)
245 (244+1)
robots_1_5_2_29.9.qdimacs.gz 763 (762+2) 800 (799+1) 800 (800+0) 26 (25+2) 114 (114+1)
s cnf 1 (s cnf 1)
129 (128+1)
robots_1_5_2_3.10.qdimacs.gz 722 (720+2) 800 (799+1) 1 (1+0)
s cnf 1 (s cnf 1)
31 (29+2) 0 (0+0)
s cnf 1 (s cnf 1)
133 (132+1)
robots_1_5_2_3.4.qdimacs.gz 18 (18+0)
s cnf 1 (s cnf 1)
40 (40+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
543 (542+1)
s cnf 1 (s cnf 1 503 3908)
robots_1_5_2_3.5.qdimacs.gz 39 (38+0)
s cnf 1 (s cnf 1)
81 (81+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
35 (33+2) 0 (0+0)
s cnf 1 (s cnf 1)
138 (137+1)
robots_1_5_2_3.6.qdimacs.gz 75 (75+0)
s cnf 1 (s cnf 1)
195 (195+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
176 (175+1)
robots_1_5_2_3.7.qdimacs.gz 152 (151+1)
s cnf 1 (s cnf 1)
283 (282+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
35 (33+2) 0 (0+0)
s cnf 1 (s cnf 1)
137 (135+1)
robots_1_5_2_3.8.qdimacs.gz 359 (357+1)
s cnf 1 (s cnf 1)
650 (649+1)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
32 (31+2) 0 (0+0)
s cnf 1 (s cnf 1)
91 (90+1)
robots_1_5_2_3.9.qdimacs.gz 459 (458+1)
s cnf 1 (s cnf 1)
800 (799+1) 11 (11+0)
s cnf 1 (s cnf 1)
29 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
83 (82+1)
robots_1_5_2_30.10.qdimacs.gz 776 (774+2) 800 (799+1) 31 (31+0)
s cnf 0 (s cnf 0)
34 (32+2) 2 (2+0)
s cnf 0 (s cnf 0)
99 (98+1)
robots_1_5_2_30.4.qdimacs.gz 59 (59+0)
s cnf 1 (s cnf 1)
100 (100+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
20 (18+2) 0 (0+0)
s cnf 1 (s cnf 1)
624 (623+1)
robots_1_5_2_30.5.qdimacs.gz 370 (369+1)
s cnf 1 (s cnf 1)
542 (541+1)
s cnf 1 (s cnf 1)
10 (10+0)
s cnf 1 (s cnf 1)
40 (39+2) 0 (0+0)
s cnf 1 (s cnf 1)
281 (280+1)
robots_1_5_2_30.6.qdimacs.gz 705 (703+2) 800 (799+1) 39 (39+0)
s cnf 1 (s cnf 1)
21 (19+2) 2 (2+0)
s cnf 1 (s cnf 1)
95 (94+1)
robots_1_5_2_30.7.qdimacs.gz 774 (772+2) 800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0)
19 (17+2) 6 (6+0)
s cnf 0 (s cnf 0)
92 (90+1)
robots_1_5_2_30.8.qdimacs.gz 736 (733+2) 800 (799+1) 45 (45+0)
s cnf 0 (s cnf 0)
26 (24+2) 2 (2+0)
s cnf 0 (s cnf 0)
86 (85+1)
robots_1_5_2_30.9.qdimacs.gz 800 (798+2) 800 (799+1) 73 (73+0)
s cnf 0 (s cnf 0)
38 (36+2) 8 (8+0)
s cnf 0 (s cnf 0)
102 (100+1)
robots_1_5_2_31.10.qdimacs.gz 780 (778+2) 800 (799+1) 800 (800+0) 28 (26+1) 74 (74+0)
s cnf 1 (s cnf 1)
114 (112+1)
robots_1_5_2_31.4.qdimacs.gz 32 (31+0)
s cnf 1 (s cnf 1)
55 (55+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
36 (34+2) 0 (0+0)
s cnf 1 (s cnf 1)
236 (235+1)
robots_1_5_2_31.5.qdimacs.gz 142 (141+1)
s cnf 1 (s cnf 1)
319 (318+1)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
31 (29+2) 0 (0+0)
s cnf 1 (s cnf 1)
120 (119+1)
robots_1_5_2_31.6.qdimacs.gz 416 (415+1)
s cnf 1 (s cnf 1)
800 (799+1) 12 (12+0)
s cnf 1 (s cnf 1)
24 (22+2) 1 (1+0)
s cnf 1 (s cnf 1)
108 (106+1)
robots_1_5_2_31.7.qdimacs.gz 739 (735+4) 800 (799+1) 72 (72+0)
s cnf 1 (s cnf 1)
40 (38+2) 2 (2+0)
s cnf 1 (s cnf 1)
140 (139+1)
robots_1_5_2_31.8.qdimacs.gz 710 (708+2) 800 (799+1) 349 (349+0)
s cnf 1 (s cnf 1)
25 (23+2) 6 (6+0)
s cnf 1 (s cnf 1)
116 (115+1)
robots_1_5_2_31.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 31 (30+2) 36 (36+0)
s cnf 1 (s cnf 1)
118 (116+1)
robots_1_5_2_32.10.qdimacs.gz 780 (778+2) 800 (799+1) 800 (800+0) 27 (25+1) 190 (189+1)
s cnf 1 (s cnf 1)
112 (111+1)
robots_1_5_2_32.4.qdimacs.gz 46 (45+0)
s cnf 1 (s cnf 1)
89 (88+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
20 (18+2) 0 (0+0)
s cnf 1 (s cnf 1)
160 (159+1)
s cnf 1 (s cnf 1 508 3801)
robots_1_5_2_32.5.qdimacs.gz 167 (166+1)
s cnf 1 (s cnf 1)
342 (341+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
94 (93+1)
robots_1_5_2_32.6.qdimacs.gz 647 (645+2) 800 (799+1) 43 (43+0)
s cnf 1 (s cnf 1)
33 (32+1) 1 (1+0)
s cnf 1 (s cnf 1)
84 (82+1)
robots_1_5_2_32.7.qdimacs.gz 697 (695+2) 800 (799+1) 101 (101+0)
s cnf 1 (s cnf 1)
18 (17+2) 4 (4+0)
s cnf 1 (s cnf 1)
101 (100+1)
robots_1_5_2_32.8.qdimacs.gz 674 (672+2) 800 (799+1) 731 (730+0)
s cnf 1 (s cnf 1)
24 (23+2) 16 (16+0)
s cnf 1 (s cnf 1)
112 (110+1)
robots_1_5_2_32.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 28 (27+2) 70 (70+0)
s cnf 1 (s cnf 1)
108 (106+1)
robots_1_5_2_33.10.qdimacs.gz 731 (729+2) 800 (799+1) 14 (14+0)
s cnf 0 (s cnf 0)
27 (25+2) 1 (1+0)
s cnf 0 (s cnf 0)
104 (102+1)
robots_1_5_2_33.4.qdimacs.gz 48 (47+0)
s cnf 1 (s cnf 1)
80 (79+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
17 (15+2) 0 (0+0)
s cnf 1 (s cnf 1)
418 (416+1)
s cnf 1 (s cnf 1 713 4185)
robots_1_5_2_33.5.qdimacs.gz 244 (243+1)
s cnf 1 (s cnf 1)
375 (374+1)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
27 (25+2) 0 (0+0)
s cnf 1 (s cnf 1)
60 (59+1)
robots_1_5_2_33.6.qdimacs.gz 607 (605+2) 800 (799+1) 13 (13+0)
s cnf 1 (s cnf 1)
20 (18+2) 1 (1+0)
s cnf 1 (s cnf 1)
77 (75+1)
robots_1_5_2_33.7.qdimacs.gz 671 (670+2) 800 (799+1) 34 (34+0)
s cnf 0 (s cnf 0)
30 (28+2) 3 (3+0)
s cnf 0 (s cnf 0)
132 (131+1)
robots_1_5_2_33.8.qdimacs.gz 718 (716+2) 800 (799+1) 27 (27+0)
s cnf 0 (s cnf 0)
30 (28+2) 5 (5+0)
s cnf 0 (s cnf 0)
92 (90+1)
robots_1_5_2_33.9.qdimacs.gz 660 (659+2) 800 (799+1) 37 (37+0)
s cnf 0 (s cnf 0)
24 (23+2) 12 (12+0)
s cnf 0 (s cnf 0)
131 (130+1)
robots_1_5_2_34.10.qdimacs.gz 756 (754+2) 800 (799+1) 800 (800+0) 39 (37+2) 30 (29+0)
s cnf 1 (s cnf 1)
97 (95+1)
robots_1_5_2_34.4.qdimacs.gz 42 (42+0)
s cnf 1 (s cnf 1)
81 (81+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
17 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
408 (406+1)
s cnf 1 (s cnf 1 714 4183)
robots_1_5_2_34.5.qdimacs.gz 189 (188+1)
s cnf 1 (s cnf 1)
338 (337+1)
s cnf 1 (s cnf 1)
8 (8+0)
s cnf 1 (s cnf 1)
36 (35+2) 0 (0+0)
s cnf 1 (s cnf 1)
78 (77+1)
robots_1_5_2_34.6.qdimacs.gz 477 (475+2)
s cnf 1 (s cnf 1)
800 (799+1) 18 (18+0)
s cnf 1 (s cnf 1)
39 (37+2) 1 (1+0)
s cnf 1 (s cnf 1)
114 (113+1)
robots_1_5_2_34.7.qdimacs.gz 638 (636+2) 800 (799+2) 46 (46+0)
s cnf 1 (s cnf 1)
37 (35+2) 2 (2+0)
s cnf 1 (s cnf 1)
90 (89+1)
robots_1_5_2_34.8.qdimacs.gz 700 (698+2) 800 (798+2) 292 (292+0)
s cnf 1 (s cnf 1)
41 (39+2) 11 (10+0)
s cnf 1 (s cnf 1)
113 (112+1)
robots_1_5_2_34.9.qdimacs.gz 654 (652+2) 800 (798+2) 800 (800+0) 30 (29+2) 20 (19+0)
s cnf 1 (s cnf 1)
112 (111+1)
robots_1_5_2_35.10.qdimacs.gz 783 (781+2) 800 (799+1) 36 (36+0)
s cnf 0 (s cnf 0)
37 (36+2) 4 (4+0)
s cnf 0 (s cnf 0)
124 (123+1)
robots_1_5_2_35.4.qdimacs.gz 35 (35+0)
s cnf 1 (s cnf 1)
79 (79+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
16 (15+2) 0 (0+0)
s cnf 1 (s cnf 1)
161 (160+1)
s cnf 1 (s cnf 1 520 3841)
robots_1_5_2_35.5.qdimacs.gz 138 (138+1)
s cnf 1 (s cnf 1)
343 (342+1)
s cnf 1 (s cnf 1)
10 (10+0)
s cnf 1 (s cnf 1)
23 (21+2) 1 (1+0)
s cnf 1 (s cnf 1)
155 (153+1)
robots_1_5_2_35.6.qdimacs.gz 602 (600+2) 800 (799+1) 31 (31+0)
s cnf 1 (s cnf 1)
27 (25+1) 2 (2+0)
s cnf 1 (s cnf 1)
102 (101+1)
robots_1_5_2_35.7.qdimacs.gz 690 (689+2) 800 (799+1) 18 (18+0)
s cnf 0 (s cnf 0)
21 (19+2) 2 (2+0)
s cnf 0 (s cnf 0)
130 (129+1)
robots_1_5_2_35.8.qdimacs.gz 568 (566+2) 800 (799+1) 20 (20+0)
s cnf 0 (s cnf 0)
21 (19+2) 0 (0+0)
s cnf 0 (s cnf 0)
82 (81+1)
robots_1_5_2_35.9.qdimacs.gz 727 (726+2) 800 (799+1) 22 (22+0)
s cnf 0 (s cnf 0)
28 (26+2) 1 (1+0)
s cnf 0 (s cnf 0)
113 (112+1)
robots_1_5_2_36.10.qdimacs.gz 181 (180+1)
s cnf 0 (s cnf 0)
800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
21 (20+2) 0 (0+0)
s cnf 0 (s cnf 0)
84 (82+1)
robots_1_5_2_36.4.qdimacs.gz 51 (50+0)
s cnf 1 (s cnf 1)
101 (101+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
172 (171+1)
robots_1_5_2_36.5.qdimacs.gz 197 (196+1)
s cnf 0 (s cnf 0)
483 (482+1)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
25 (24+2) 0 (0+0)
s cnf 0 (s cnf 0)
147 (146+1)
robots_1_5_2_36.6.qdimacs.gz 81 (80+0)
s cnf 0 (s cnf 0)
800 (799+1) 2 (2+0)
s cnf 0 (s cnf 0)
27 (26+2) 0 (0+0)
s cnf 0 (s cnf 0)
83 (82+1)
robots_1_5_2_36.7.qdimacs.gz 606 (604+2)
s cnf 0 (s cnf 0)
800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
30 (28+2) 0 (0+0)
s cnf 0 (s cnf 0)
134 (132+1)
robots_1_5_2_36.8.qdimacs.gz 593 (591+2)
s cnf 0 (s cnf 0)
800 (799+1) 15 (15+0)
s cnf 0 (s cnf 0)
24 (23+2) 0 (0+0)
s cnf 0 (s cnf 0)
100 (98+1)
robots_1_5_2_36.9.qdimacs.gz 765 (763+2) 800 (799+1) 21 (21+0)
s cnf 0 (s cnf 0)
27 (25+2) 0 (0+0)
s cnf 0 (s cnf 0)
121 (119+1)
robots_1_5_2_37.10.qdimacs.gz 628 (626+2) 800 (799+1) 17 (17+0)
s cnf 1 (s cnf 1)
49 (47+2) 0 (0+0)
s cnf 1 (s cnf 1)
110 (109+1)
robots_1_5_2_37.4.qdimacs.gz 20 (20+0)
s cnf 1 (s cnf 1)
49 (49+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
21 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
353 (351+1)
robots_1_5_2_37.5.qdimacs.gz 38 (38+0)
s cnf 1 (s cnf 1)
117 (117+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
126 (124+1)
robots_1_5_2_37.6.qdimacs.gz 81 (81+1)
s cnf 1 (s cnf 1)
307 (307+1)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
32 (30+2) 0 (0+0)
s cnf 1 (s cnf 1)
121 (120+1)
robots_1_5_2_37.7.qdimacs.gz 133 (132+1)
s cnf 1 (s cnf 1)
541 (540+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
21 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
121 (119+1)
robots_1_5_2_37.8.qdimacs.gz 310 (309+1)
s cnf 1 (s cnf 1)
800 (799+1) 18 (18+0)
s cnf 1 (s cnf 1)
32 (31+2) 0 (0+0)
s cnf 1 (s cnf 1)
145 (144+1)
robots_1_5_2_37.9.qdimacs.gz 498 (497+2)
s cnf 1 (s cnf 1)
800 (799+1) 14 (14+0)
s cnf 1 (s cnf 1)
44 (42+2) 0 (0+0)
s cnf 1 (s cnf 1)
80 (79+1)
robots_1_5_2_38.10.qdimacs.gz 696 (694+2) 800 (799+1) 800 (800+0) 46 (45+2) 8 (8+0)
s cnf 1 (s cnf 1)
112 (110+1)
robots_1_5_2_38.4.qdimacs.gz 32 (32+0)
s cnf 1 (s cnf 1)
90 (89+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
23 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
157 (156+1)
robots_1_5_2_38.5.qdimacs.gz 78 (78+0)
s cnf 1 (s cnf 1)
235 (234+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
32 (30+2) 0 (0+0)
s cnf 1 (s cnf 1)
196 (195+1)
robots_1_5_2_38.6.qdimacs.gz 374 (373+1)
s cnf 1 (s cnf 1)
757 (755+1)
s cnf 1 (s cnf 1)
22 (22+0)
s cnf 1 (s cnf 1)
29 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
134 (133+1)
robots_1_5_2_38.7.qdimacs.gz 570 (569+2) 800 (799+1) 36 (36+0)
s cnf 1 (s cnf 1)
27 (25+2) 0 (0+0)
s cnf 1 (s cnf 1)
84 (82+1)
robots_1_5_2_38.8.qdimacs.gz 605 (603+2) 800 (799+1) 114 (114+0)
s cnf 1 (s cnf 1)
26 (25+2) 2 (2+0)
s cnf 1 (s cnf 1)
92 (91+1)
robots_1_5_2_38.9.qdimacs.gz 728 (726+2) 800 (799+1) 782 (782+0)
s cnf 1 (s cnf 1)
30 (29+2) 5 (5+0)
s cnf 1 (s cnf 1)
102 (101+1)
robots_1_5_2_39.10.qdimacs.gz 685 (683+2) 800 (799+1) 800 (800+0) 24 (22+2) 758 (755+3)
s cnf 1 (s cnf 1)
139 (138+1)
robots_1_5_2_39.4.qdimacs.gz 61 (61+0)
s cnf 1 (s cnf 1)
107 (106+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
17 (15+2) 0 (0+0)
s cnf 1 (s cnf 1)
163 (162+1)
robots_1_5_2_39.5.qdimacs.gz 303 (302+1)
s cnf 1 (s cnf 1)
641 (639+1)
s cnf 1 (s cnf 1)
11 (11+0)
s cnf 1 (s cnf 1)
18 (17+2) 1 (1+0)
s cnf 1 (s cnf 1)
241 (240+1)
robots_1_5_2_39.6.qdimacs.gz 623 (621+2) 800 (799+1) 58 (58+0)
s cnf 1 (s cnf 1)
48 (46+2) 2 (2+0)
s cnf 1 (s cnf 1)
97 (96+1)
robots_1_5_2_39.7.qdimacs.gz 714 (712+2) 800 (799+1) 115 (115+0)
s cnf 1 (s cnf 1)
25 (23+2) 8 (8+0)
s cnf 1 (s cnf 1)
111 (109+1)
robots_1_5_2_39.8.qdimacs.gz 692 (690+2) 800 (799+1) 800 (800+0) 22 (20+2) 30 (30+0)
s cnf 1 (s cnf 1)
117 (116+1)
robots_1_5_2_39.9.qdimacs.gz 766 (764+1) 800 (799+1) 800 (800+0) 54 (52+2) 160 (159+1)
s cnf 1 (s cnf 1)
226 (225+1)
robots_1_5_2_4.10.qdimacs.gz 684 (683+2) 800 (799+1) 29 (29+0)
s cnf 1 (s cnf 1)
41 (39+2) 0 (0+0)
s cnf 1 (s cnf 1)
129 (128+1)
robots_1_5_2_4.4.qdimacs.gz 19 (19+0)
s cnf 1 (s cnf 1)
47 (47+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
20 (18+2) 0 (0+0)
s cnf 1 (s cnf 1)
247 (246+1)
robots_1_5_2_4.5.qdimacs.gz 57 (56+0)
s cnf 1 (s cnf 1)
122 (122+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
36 (35+2) 0 (0+0)
s cnf 1 (s cnf 1)
127 (126+1)
robots_1_5_2_4.6.qdimacs.gz 111 (110+1)
s cnf 1 (s cnf 1)
274 (273+1)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
41 (39+2) 0 (0+0)
s cnf 1 (s cnf 1)
77 (76+1)
robots_1_5_2_4.7.qdimacs.gz 171 (170+1)
s cnf 1 (s cnf 1)
680 (679+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
25 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
77 (75+1)
robots_1_5_2_4.8.qdimacs.gz 220 (219+1)
s cnf 1 (s cnf 1)
800 (799+1) 4 (4+0)
s cnf 1 (s cnf 1)
29 (28+1) 0 (0+0)
s cnf 1 (s cnf 1)
102 (101+1)
robots_1_5_2_4.9.qdimacs.gz 469 (468+1)
s cnf 1 (s cnf 1)
800 (799+1) 34 (34+0)
s cnf 1 (s cnf 1)
43 (41+2) 0 (0+0)
s cnf 1 (s cnf 1)
110 (108+1)
robots_1_5_2_40.10.qdimacs.gz 716 (715+2) 800 (799+1) 73 (73+0)
s cnf 0 (s cnf 0)
29 (27+2) 34 (34+0)
s cnf 0 (s cnf 0)
123 (122+1)
robots_1_5_2_40.4.qdimacs.gz 46 (46+0)
s cnf 1 (s cnf 1)
118 (118+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
21 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
444 (443+1)
robots_1_5_2_40.5.qdimacs.gz 297 (296+1)
s cnf 1 (s cnf 1)
619 (618+1)
s cnf 1 (s cnf 1)
8 (8+0)
s cnf 1 (s cnf 1)
40 (38+2) 0 (0+0)
s cnf 1 (s cnf 1)
98 (96+1)
robots_1_5_2_40.6.qdimacs.gz 635 (631+4) 800 (799+1) 41 (41+0)
s cnf 1 (s cnf 1)
28 (27+1) 2 (2+0)
s cnf 1 (s cnf 1)
101 (100+1)
robots_1_5_2_40.7.qdimacs.gz 773 (769+4) 800 (799+1) 160 (160+0)
s cnf 1 (s cnf 1)
22 (20+2) 7 (7+0)
s cnf 1 (s cnf 1)
105 (104+1)
robots_1_5_2_40.8.qdimacs.gz 674 (672+2) 800 (799+1) 56 (56+0)
s cnf 0 (s cnf 0)
23 (21+2) 24 (23+0)
s cnf 0 (s cnf 0)
76 (75+1)
robots_1_5_2_40.9.qdimacs.gz 764 (762+2) 800 (799+1) 800 (800+0) 21 (19+2) 33 (33+0)
s cnf 0 (s cnf 0)
132 (130+1)
robots_1_5_2_41.10.qdimacs.gz 559 (557+2) 800 (799+1) 12 (12+0)
s cnf 1 (s cnf 1)
29 (28+1) 0 (0+0)
s cnf 1 (s cnf 1)
119 (118+1)
robots_1_5_2_41.4.qdimacs.gz 22 (21+0)
s cnf 1 (s cnf 1)
45 (44+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
19 (17+2) 0 (0+0)
s cnf 1 (s cnf 1)
147 (145+1)
robots_1_5_2_41.5.qdimacs.gz 42 (42+0)
s cnf 1 (s cnf 1)
110 (110+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
24 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
126 (124+1)
robots_1_5_2_41.6.qdimacs.gz 63 (63+0)
s cnf 1 (s cnf 1)
277 (277+1)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
18 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
67 (66+1)
robots_1_5_2_41.7.qdimacs.gz 153 (152+1)
s cnf 1 (s cnf 1)
336 (335+1)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
24 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
81 (80+1)
robots_1_5_2_41.8.qdimacs.gz 206 (205+1)
s cnf 1 (s cnf 1)
800 (799+1) 2 (2+0)
s cnf 1 (s cnf 1)
29 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
116 (115+1)
robots_1_5_2_41.9.qdimacs.gz 376 (375+1)
s cnf 1 (s cnf 1)
800 (799+1) 17 (17+0)
s cnf 1 (s cnf 1)
60 (59+1) 0 (0+0)
s cnf 1 (s cnf 1)
132 (131+1)
robots_1_5_2_42.10.qdimacs.gz 681 (680+2) 800 (799+1) 10 (10+0)
s cnf 0 (s cnf 0)
26 (24+2) 1 (1+0)
s cnf 0 (s cnf 0)
137 (136+1)
robots_1_5_2_42.4.qdimacs.gz 30 (30+0)
s cnf 1 (s cnf 1)
75 (74+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
14 (12+2) 0 (0+0)
s cnf 1 (s cnf 1)
536 (534+1)
robots_1_5_2_42.5.qdimacs.gz 132 (131+1)
s cnf 1 (s cnf 1)
292 (291+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
167 (166+1)
robots_1_5_2_42.6.qdimacs.gz 460 (458+2)
s cnf 0 (s cnf 0)
800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
25 (23+2) 1 (1+0)
s cnf 0 (s cnf 0)
112 (111+1)
robots_1_5_2_42.7.qdimacs.gz 605 (603+2) 424 (423+1)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
18 (17+2) 1 (1+0)
s cnf 0 (s cnf 0)
70 (69+1)
robots_1_5_2_42.8.qdimacs.gz 642 (640+2) 800 (799+1) 69 (69+0)
s cnf 0 (s cnf 0)
17 (16+2) 1 (1+0)
s cnf 0 (s cnf 0)
109 (108+1)
robots_1_5_2_42.9.qdimacs.gz 687 (686+2) 800 (799+1) 12 (11+0)
s cnf 0 (s cnf 0)
28 (27+2) 1 (1+0)
s cnf 0 (s cnf 0)
103 (102+1)
robots_1_5_2_43.10.qdimacs.gz 689 (687+2) 800 (799+1) 40 (40+0)
s cnf 0 (s cnf 0)
20 (18+2) 9 (9+0)
s cnf 0 (s cnf 0)
95 (94+1)
robots_1_5_2_43.4.qdimacs.gz 48 (47+0)
s cnf 1 (s cnf 1)
102 (102+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
27 (26+2) 0 (0+0)
s cnf 1 (s cnf 1)
337 (336+1)
s cnf 1 (s cnf 1 593 4428)
robots_1_5_2_43.5.qdimacs.gz 175 (174+1)
s cnf 1 (s cnf 1)
533 (532+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
17 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
127 (125+1)
robots_1_5_2_43.6.qdimacs.gz 603 (601+2) 800 (799+1) 35 (35+0)
s cnf 1 (s cnf 1)
20 (19+2) 1 (1+0)
s cnf 1 (s cnf 1)
88 (86+1)
robots_1_5_2_43.7.qdimacs.gz 676 (675+2) 800 (799+1) 154 (154+0)
s cnf 1 (s cnf 1)
28 (26+2) 8 (8+0)
s cnf 1 (s cnf 1)
99 (98+1)
robots_1_5_2_43.8.qdimacs.gz 622 (620+2) 800 (799+1) 34 (34+0)
s cnf 0 (s cnf 0)
23 (21+2) 14 (14+0)
s cnf 0 (s cnf 0)
92 (91+1)
robots_1_5_2_43.9.qdimacs.gz 767 (766+2) 800 (799+1) 34 (34+0)
s cnf 0 (s cnf 0)
26 (24+2) 29 (29+0)
s cnf 0 (s cnf 0)
151 (150+1)
robots_1_5_2_44.10.qdimacs.gz 685 (683+2) 800 (799+1) 581 (580+0)
s cnf 0 (s cnf 0)
30 (29+1) 9 (9+0)
s cnf 0 (s cnf 0)
89 (88+1)
robots_1_5_2_44.4.qdimacs.gz 35 (35+0)
s cnf 1 (s cnf 1)
64 (63+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
15 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
586 (585+1)
robots_1_5_2_44.5.qdimacs.gz 139 (138+1)
s cnf 1 (s cnf 1)
300 (299+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
37 (35+2) 0 (0+0)
s cnf 1 (s cnf 1)
184 (183+1)
robots_1_5_2_44.6.qdimacs.gz 518 (517+2) 800 (799+1) 28 (28+0)
s cnf 1 (s cnf 1)
37 (35+2) 1 (1+0)
s cnf 1 (s cnf 1)
79 (77+1)
robots_1_5_2_44.7.qdimacs.gz 635 (633+2) 800 (799+1) 78 (78+0)
s cnf 1 (s cnf 1)
20 (18+2) 2 (2+0)
s cnf 1 (s cnf 1)
88 (87+1)
robots_1_5_2_44.8.qdimacs.gz 632 (630+2) 800 (799+1) 223 (223+0)
s cnf 0 (s cnf 0)
23 (21+2) 3 (3+0)
s cnf 0 (s cnf 0)
100 (99+1)
robots_1_5_2_44.9.qdimacs.gz 705 (703+2) 800 (799+1) 651 (651+0)
s cnf 0 (s cnf 0)
29 (27+2) 8 (8+0)
s cnf 0 (s cnf 0)
137 (135+1)
robots_1_5_2_45.10.qdimacs.gz 691 (689+2) 800 (799+1) 800 (800+0) 40 (38+2) 157 (156+1)
s cnf 1 (s cnf 1)
92 (90+1)
robots_1_5_2_45.4.qdimacs.gz 38 (38+0)
s cnf 1 (s cnf 1)
96 (95+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
19 (17+2) 0 (0+0)
s cnf 1 (s cnf 1)
154 (154+0)
s cnf 1 (s cnf 1 416 3945)
robots_1_5_2_45.5.qdimacs.gz 146 (145+1)
s cnf 1 (s cnf 1)
438 (437+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
37 (35+2) 0 (0+0)
s cnf 1 (s cnf 1)
71 (69+1)
robots_1_5_2_45.6.qdimacs.gz 545 (541+3) 800 (799+1) 27 (27+0)
s cnf 1 (s cnf 1)
23 (21+2) 1 (1+0)
s cnf 1 (s cnf 1)
72 (71+1)
robots_1_5_2_45.7.qdimacs.gz 697 (695+2) 800 (799+1) 83 (83+0)
s cnf 1 (s cnf 1)
29 (28+2) 3 (3+0)
s cnf 1 (s cnf 1)
116 (114+1)
robots_1_5_2_45.8.qdimacs.gz 718 (714+4) 800 (799+1) 399 (399+0)
s cnf 1 (s cnf 1)
28 (26+2) 12 (12+0)
s cnf 1 (s cnf 1)
78 (76+1)
robots_1_5_2_45.9.qdimacs.gz 747 (746+2) 800 (799+1) 800 (800+0) 31 (29+2) 35 (35+0)
s cnf 1 (s cnf 1)
104 (103+1)
robots_1_5_2_46.10.qdimacs.gz 747 (745+2) 800 (799+1) 30 (30+0)
s cnf 0 (s cnf 0)
26 (24+2) 2 (2+0)
s cnf 0 (s cnf 0)
106 (105+1)
robots_1_5_2_46.4.qdimacs.gz 26 (26+0)
s cnf 1 (s cnf 1)
64 (64+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
15 (13+2) 0 (0+0)
s cnf 1 (s cnf 1)
221 (220+1)
robots_1_5_2_46.5.qdimacs.gz 113 (113+1)
s cnf 1 (s cnf 1)
310 (309+1)
s cnf 1 (s cnf 1)
8 (8+0)
s cnf 1 (s cnf 1)
23 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
78 (77+1)
robots_1_5_2_46.6.qdimacs.gz 551 (550+2) 800 (799+1) 32 (32+0)
s cnf 1 (s cnf 1)
28 (27+2) 1 (1+0)
s cnf 1 (s cnf 1)
108 (106+1)
robots_1_5_2_46.7.qdimacs.gz 691 (689+2) 800 (799+1) 38 (38+0)
s cnf 0 (s cnf 0)
17 (15+2) 1 (1+0)
s cnf 0 (s cnf 0)
87 (86+1)
robots_1_5_2_46.8.qdimacs.gz 676 (674+2) 800 (799+1) 20 (20+0)
s cnf 0 (s cnf 0)
21 (19+2) 1 (1+0)
s cnf 0 (s cnf 0)
106 (104+1)
robots_1_5_2_46.9.qdimacs.gz 759 (758+2) 800 (799+1) 54 (54+0)
s cnf 0 (s cnf 0)
28 (26+2) 1 (1+0)
s cnf 0 (s cnf 0)
124 (122+1)
robots_1_5_2_47.10.qdimacs.gz 743 (741+2) 800 (799+1) 800 (800+0) 28 (27+2) 7 (7+0)
s cnf 1 (s cnf 1)
122 (120+1)
robots_1_5_2_47.4.qdimacs.gz 30 (29+0)
s cnf 1 (s cnf 1)
66 (65+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
18 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
246 (245+1)
robots_1_5_2_47.5.qdimacs.gz 108 (107+1)
s cnf 1 (s cnf 1)
207 (207+1)
s cnf 1 (s cnf 1)
14 (14+0)
s cnf 1 (s cnf 1)
30 (29+2) 0 (0+0)
s cnf 1 (s cnf 1)
100 (99+1)
robots_1_5_2_47.6.qdimacs.gz 336 (335+1)
s cnf 1 (s cnf 1)
749 (748+1)
s cnf 1 (s cnf 1)
24 (24+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
175 (173+1)
robots_1_5_2_47.7.qdimacs.gz 592 (590+2) 800 (799+1) 55 (55+0)
s cnf 1 (s cnf 1)
19 (18+2) 0 (0+0)
s cnf 1 (s cnf 1)
71 (69+1)
robots_1_5_2_47.8.qdimacs.gz 621 (619+2) 800 (799+1) 111 (111+0)
s cnf 1 (s cnf 1)
21 (20+2) 1 (1+0)
s cnf 1 (s cnf 1)
117 (115+1)
robots_1_5_2_47.9.qdimacs.gz 743 (742+2) 800 (799+1) 800 (800+0) 30 (28+2) 7 (7+0)
s cnf 1 (s cnf 1)
102 (100+1)
robots_1_5_2_48.10.qdimacs.gz 740 (738+2) 800 (799+1) 321 (321+0)
s cnf 0 (s cnf 0)
33 (31+2) 1 (1+0)
s cnf 0 (s cnf 0)
118 (117+1)
robots_1_5_2_48.4.qdimacs.gz 31 (31+0)
s cnf 1 (s cnf 1)
73 (73+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
14 (13+2) 0 (0+0)
s cnf 1 (s cnf 1)
354 (353+1)
robots_1_5_2_48.5.qdimacs.gz 141 (140+1)
s cnf 1 (s cnf 1)
342 (341+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
25 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
99 (98+1)
robots_1_5_2_48.6.qdimacs.gz 555 (553+2) 800 (799+1) 52 (52+0)
s cnf 1 (s cnf 1)
27 (25+2) 1 (1+0)
s cnf 1 (s cnf 1)
83 (82+1)
robots_1_5_2_48.7.qdimacs.gz 635 (634+2) 800 (798+2) 125 (125+0)
s cnf 1 (s cnf 1)
25 (23+2) 3 (3+0)
s cnf 1 (s cnf 1)
94 (93+1)
robots_1_5_2_48.8.qdimacs.gz 490 (488+2)
s cnf 0 (s cnf 0)
800 (799+1) 405 (405+0)
s cnf 0 (s cnf 0)
34 (33+2) 3 (3+0)
s cnf 0 (s cnf 0)
118 (116+1)
robots_1_5_2_48.9.qdimacs.gz 785 (783+2) 800 (799+1) 88 (88+0)
s cnf 0 (s cnf 0)
33 (31+2) 3 (3+0)
s cnf 0 (s cnf 0)
122 (121+1)
robots_1_5_2_49.10.qdimacs.gz 786 (784+2) 800 (799+1) 17 (17+0)
s cnf 1 (s cnf 1)
49 (47+2) 0 (0+0)
s cnf 1 (s cnf 1)
112 (110+1)
robots_1_5_2_49.4.qdimacs.gz 23 (23+0)
s cnf 1 (s cnf 1)
38 (38+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
21 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
351 (350+1)
robots_1_5_2_49.5.qdimacs.gz 45 (44+0)
s cnf 1 (s cnf 1)
90 (89+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
124 (123+1)
robots_1_5_2_49.6.qdimacs.gz 97 (96+1)
s cnf 1 (s cnf 1)
232 (231+1)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
32 (31+2) 0 (0+0)
s cnf 1 (s cnf 1)
121 (120+1)
robots_1_5_2_49.7.qdimacs.gz 160 (159+1)
s cnf 1 (s cnf 1)
407 (406+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
21 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
120 (119+1)
robots_1_5_2_49.8.qdimacs.gz 375 (374+1)
s cnf 1 (s cnf 1)
800 (799+1) 17 (17+0)
s cnf 1 (s cnf 1)
31 (30+2) 0 (0+0)
s cnf 1 (s cnf 1)
145 (144+1)
robots_1_5_2_49.9.qdimacs.gz 613 (611+2)
s cnf 1 (s cnf 1)
800 (799+1) 13 (13+0)
s cnf 1 (s cnf 1)
44 (42+2) 0 (0+0)
s cnf 1 (s cnf 1)
81 (79+1)
robots_1_5_2_5.10.qdimacs.gz 800 (798+2) 800 (799+1) 705 (705+0)
s cnf 0 (s cnf 0)
29 (27+2) 14 (14+0)
s cnf 0 (s cnf 0)
108 (107+1)
robots_1_5_2_5.4.qdimacs.gz 41 (40+0)
s cnf 1 (s cnf 1)
65 (65+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
15 (13+2) 0 (0+0)
s cnf 1 (s cnf 1)
321 (319+1)
robots_1_5_2_5.5.qdimacs.gz 152 (151+1)
s cnf 1 (s cnf 1)
262 (261+1)
s cnf 1 (s cnf 1)
11 (11+0)
s cnf 1 (s cnf 1)
41 (39+2) 0 (0+0)
s cnf 1 (s cnf 1)
164 (163+1)
robots_1_5_2_5.6.qdimacs.gz 595 (593+2) 800 (799+1) 26 (26+0)
s cnf 1 (s cnf 1)
39 (37+2) 1 (1+0)
s cnf 1 (s cnf 1)
80 (78+1)
robots_1_5_2_5.7.qdimacs.gz 800 (798+2) 800 (799+1) 116 (116+0)
s cnf 1 (s cnf 1)
20 (19+2) 3 (3+0)
s cnf 1 (s cnf 1)
94 (93+1)
robots_1_5_2_5.8.qdimacs.gz 800 (798+2) 800 (799+1) 146 (146+0)
s cnf 0 (s cnf 0)
22 (20+2) 1 (1+0)
s cnf 0 (s cnf 0)
95 (94+1)
robots_1_5_2_5.9.qdimacs.gz 800 (798+2) 800 (799+1) 418 (417+0)
s cnf 0 (s cnf 0)
27 (26+2) 1 (1+0)
s cnf 0 (s cnf 0)
130 (129+1)
robots_1_5_2_50.10.qdimacs.gz 800 (798+2) 800 (799+1) 580 (580+0)
s cnf 0 (s cnf 0)
30 (28+2) 8 (8+0)
s cnf 0 (s cnf 0)
90 (89+1)
robots_1_5_2_50.4.qdimacs.gz 45 (45+0)
s cnf 1 (s cnf 1)
89 (89+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
15 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
582 (581+1)
robots_1_5_2_50.5.qdimacs.gz 191 (190+1)
s cnf 1 (s cnf 1)
362 (361+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
37 (35+2) 0 (0+0)
s cnf 1 (s cnf 1)
184 (182+1)
robots_1_5_2_50.6.qdimacs.gz 642 (640+2) 800 (799+1) 28 (28+0)
s cnf 1 (s cnf 1)
37 (35+2) 1 (1+0)
s cnf 1 (s cnf 1)
79 (78+1)
robots_1_5_2_50.7.qdimacs.gz 800 (798+2) 800 (799+1) 75 (75+0)
s cnf 1 (s cnf 1)
20 (19+2) 2 (2+0)
s cnf 1 (s cnf 1)
88 (87+1)
robots_1_5_2_50.8.qdimacs.gz 778 (775+2) 800 (799+1) 236 (236+0)
s cnf 0 (s cnf 0)
23 (21+2) 3 (3+0)
s cnf 0 (s cnf 0)
99 (98+1)
robots_1_5_2_50.9.qdimacs.gz 800 (798+2) 800 (799+1) 638 (638+0)
s cnf 0 (s cnf 0)
29 (28+1) 8 (7+0)
s cnf 0 (s cnf 0)
135 (134+1)
robots_1_5_2_51.10.qdimacs.gz 767 (765+2)
s cnf 0 (s cnf 0)
800 (799+1) 3 (3+0)
s cnf 0 (s cnf 0)
23 (22+2) 0 (0+0)
s cnf 0 (s cnf 0)
150 (149+1)
robots_1_5_2_51.4.qdimacs.gz 45 (45+0)
s cnf 1 (s cnf 1)
95 (94+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
15 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
140 (138+1)
robots_1_5_2_51.5.qdimacs.gz 112 (111+1)
s cnf 0 (s cnf 0)
152 (152+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
33 (31+2) 0 (0+0)
s cnf 0 (s cnf 0)
282 (281+1)
robots_1_5_2_51.6.qdimacs.gz 174 (173+1)
s cnf 0 (s cnf 0)
800 (799+1) 9 (9+0)
s cnf 0 (s cnf 0)
26 (24+2) 0 (0+0)
s cnf 0 (s cnf 0)
124 (123+1)
robots_1_5_2_51.7.qdimacs.gz 345 (344+1)
s cnf 0 (s cnf 0)
520 (519+1)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s cnf 0)
23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
101 (100+1)
robots_1_5_2_51.8.qdimacs.gz 382 (381+1)
s cnf 0 (s cnf 0)
415 (414+1)
s cnf 0 (s cnf 0)
10 (10+0)
s cnf 0 (s cnf 0)
18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
76 (75+1)
robots_1_5_2_51.9.qdimacs.gz 800 (798+2) 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
39 (37+2) 0 (0+0)
s cnf 0 (s cnf 0)
127 (126+1)
robots_1_5_2_52.10.qdimacs.gz 800 (798+2) 800 (799+1) 19 (19+0)
s cnf 1 (s cnf 1)
42 (40+2) 0 (0+0)
s cnf 1 (s cnf 1)
107 (105+1)
robots_1_5_2_52.4.qdimacs.gz 20 (20+0)
s cnf 1 (s cnf 1)
51 (51+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
25 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
239 (238+1)
robots_1_5_2_52.5.qdimacs.gz 47 (46+0)
s cnf 1 (s cnf 1)
111 (111+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
23 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
111 (110+1)
robots_1_5_2_52.6.qdimacs.gz 117 (116+1)
s cnf 1 (s cnf 1)
341 (340+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
35 (33+2) 0 (0+0)
s cnf 1 (s cnf 1)
99 (98+1)
robots_1_5_2_52.7.qdimacs.gz 215 (214+1)
s cnf 1 (s cnf 1)
800 (799+1) 3 (3+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
86 (84+1)
robots_1_5_2_52.8.qdimacs.gz 335 (333+1)
s cnf 1 (s cnf 1)
800 (799+1) 8 (8+0)
s cnf 1 (s cnf 1)
33 (31+2) 0 (0+0)
s cnf 1 (s cnf 1)
124 (123+1)
robots_1_5_2_52.9.qdimacs.gz 711 (709+2)
s cnf 1 (s cnf 1)
800 (799+1) 2 (2+0)
s cnf 1 (s cnf 1)
31 (29+2) 0 (0+0)
s cnf 1 (s cnf 1)
98 (97+1)
robots_1_5_2_53.10.qdimacs.gz 800 (798+2) 800 (799+1) 3 (3+0)
s cnf 0 (s cnf 0)
24 (22+1) 0 (0+0)
s cnf 0 (s cnf 0)
149 (147+1)
robots_1_5_2_53.4.qdimacs.gz 49 (49+0)
s cnf 1 (s cnf 1)
97 (96+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
15 (13+2) 0 (0+0)
s cnf 1 (s cnf 1)
138 (137+1)
robots_1_5_2_53.5.qdimacs.gz 123 (122+1)
s cnf 0 (s cnf 0)
169 (168+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
33 (31+2) 0 (0+0)
s cnf 0 (s cnf 0)
277 (276+1)
robots_1_5_2_53.6.qdimacs.gz 201 (200+1)
s cnf 0 (s cnf 0)
800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0)
26 (24+2) 0 (0+0)
s cnf 0 (s cnf 0)
121 (120+1)
robots_1_5_2_53.7.qdimacs.gz 383 (381+1)
s cnf 0 (s cnf 0)
568 (567+1)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s cnf 0)
23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
102 (100+1)
robots_1_5_2_53.8.qdimacs.gz 420 (418+1)
s cnf 0 (s cnf 0)
394 (394+1)
s cnf 0 (s cnf 0)
10 (10+0)
s cnf 0 (s cnf 0)
18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
77 (76+1)
robots_1_5_2_53.9.qdimacs.gz 800 (798+2) 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
39 (37+1) 0 (0+0)
s cnf 0 (s cnf 0)
129 (128+1)
robots_1_5_2_54.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 29 (27+2) 39 (39+0)
s cnf 1 (s cnf 1)
124 (123+1)
robots_1_5_2_54.4.qdimacs.gz 54 (53+0)
s cnf 1 (s cnf 1)
93 (93+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
221 (220+1)
s cnf 1 (s cnf 1 602 4304)
robots_1_5_2_54.5.qdimacs.gz 197 (196+1)
s cnf 1 (s cnf 1)
354 (354+1)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
21 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
91 (90+1)
robots_1_5_2_54.6.qdimacs.gz 672 (670+2) 800 (799+1) 9 (9+0)
s cnf 1 (s cnf 1)
22 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
57 (56+1)
robots_1_5_2_54.7.qdimacs.gz 800 (798+2) 800 (799+1) 49 (49+0)
s cnf 1 (s cnf 1)
26 (25+2) 1 (1+0)
s cnf 1 (s cnf 1)
82 (81+1)
robots_1_5_2_54.8.qdimacs.gz 800 (798+2) 800 (799+1) 181 (181+0)
s cnf 1 (s cnf 1)
18 (16+2) 3 (3+0)
s cnf 1 (s cnf 1)
86 (84+1)
robots_1_5_2_54.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 20 (19+2) 15 (15+0)
s cnf 1 (s cnf 1)
248 (246+1)
robots_1_5_2_55.10.qdimacs.gz 800 (798+2) 800 (799+1) 10 (10+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
103 (101+1)
robots_1_5_2_55.4.qdimacs.gz 24 (24+0)
s cnf 1 (s cnf 1)
55 (55+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
16 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
551 (549+1)
s cnf 1 (s cnf 1 329 3925)
robots_1_5_2_55.5.qdimacs.gz 63 (62+0)
s cnf 1 (s cnf 1)
138 (137+0)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
36 (35+1) 0 (0+0)
s cnf 1 (s cnf 1)
142 (141+1)
robots_1_5_2_55.6.qdimacs.gz 127 (126+1)
s cnf 1 (s cnf 1)
181 (180+1)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
27 (26+2) 0 (0+0)
s cnf 1 (s cnf 1)
128 (127+1)
robots_1_5_2_55.7.qdimacs.gz 216 (215+1)
s cnf 1 (s cnf 1)
472 (472+1)
s cnf 1 (s cnf 1)
15 (15+0)
s cnf 1 (s cnf 1)
36 (34+2) 0 (0+0)
s cnf 1 (s cnf 1)
124 (122+1)
robots_1_5_2_55.8.qdimacs.gz 276 (274+1)
s cnf 1 (s cnf 1)
800 (799+1) 26 (26+0)
s cnf 1 (s cnf 1)
22 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
128 (126+1)
robots_1_5_2_55.9.qdimacs.gz 668 (666+2)
s cnf 1 (s cnf 1)
800 (799+1) 8 (8+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
114 (112+1)
robots_1_5_2_56.10.qdimacs.gz 687 (685+2) 800 (799+1) 12 (12+0)
s cnf 1 (s cnf 1)
29 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
116 (115+1)
robots_1_5_2_56.4.qdimacs.gz 26 (25+0)
s cnf 1 (s cnf 1)
43 (43+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
19 (17+2) 0 (0+0)
s cnf 1 (s cnf 1)
152 (150+1)
robots_1_5_2_56.5.qdimacs.gz 51 (51+0)
s cnf 1 (s cnf 1)
114 (114+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
24 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
121 (119+1)
robots_1_5_2_56.6.qdimacs.gz 73 (72+0)
s cnf 1 (s cnf 1)
285 (285+1)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
18 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
64 (63+1)
robots_1_5_2_56.7.qdimacs.gz 185 (184+1)
s cnf 1 (s cnf 1)
349 (348+1)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
77 (76+1)
robots_1_5_2_56.8.qdimacs.gz 253 (252+1)
s cnf 1 (s cnf 1)
800 (799+1) 2 (2+0)
s cnf 1 (s cnf 1)
29 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
113 (111+1)
robots_1_5_2_56.9.qdimacs.gz 464 (463+1)
s cnf 1 (s cnf 1)
800 (799+1) 17 (17+0)
s cnf 1 (s cnf 1)
60 (58+2) 0 (0+0)
s cnf 1 (s cnf 1)
130 (129+1)
robots_1_5_2_57.10.qdimacs.gz 759 (757+2) 800 (799+1) 4 (4+0)
s cnf 1 (s cnf 1)
25 (23+1) 0 (0+0)
s cnf 1 (s cnf 1)
100 (99+1)
robots_1_5_2_57.4.qdimacs.gz 19 (19+0)
s cnf 1 (s cnf 1)
46 (45+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
218 (217+1)
s cnf 1 (s cnf 1 589 4129)
robots_1_5_2_57.5.qdimacs.gz 42 (41+0)
s cnf 1 (s cnf 1)
106 (105+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
70 (69+1)
robots_1_5_2_57.6.qdimacs.gz 94 (93+1)
s cnf 1 (s cnf 1)
225 (224+1)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
86 (84+1)
robots_1_5_2_57.7.qdimacs.gz 163 (162+1)
s cnf 1 (s cnf 1)
500 (499+1)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
26 (24+2) 0 (0+0)
s cnf 1 (s cnf 1)
101 (100+1)
robots_1_5_2_57.8.qdimacs.gz 404 (403+1)
s cnf 1 (s cnf 1)
800 (799+1) 17 (17+0)
s cnf 1 (s cnf 1)
36 (35+2) 0 (0+0)
s cnf 1 (s cnf 1)
204 (203+1)
robots_1_5_2_57.9.qdimacs.gz 448 (447+1)
s cnf 1 (s cnf 1)
800 (799+1) 24 (24+0)
s cnf 1 (s cnf 1)
21 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
325 (324+1)
robots_1_5_2_58.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 26 (25+2) 193 (192+1)
s cnf 1 (s cnf 1)
121 (120+1)
robots_1_5_2_58.4.qdimacs.gz 45 (45+0)
s cnf 1 (s cnf 1)
75 (75+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
14 (13+2) 0 (0+0)
s cnf 1 (s cnf 1)
504 (503+1)
s cnf 1 (s cnf 1 740 4045)
robots_1_5_2_58.5.qdimacs.gz 223 (222+1)
s cnf 1 (s cnf 1)
428 (427+1)
s cnf 1 (s cnf 1)
10 (10+0)
s cnf 1 (s cnf 1)
20 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
76 (75+1)
robots_1_5_2_58.6.qdimacs.gz 730 (728+2) 800 (799+1) 65 (65+0)
s cnf 1 (s cnf 1)
38 (37+2) 1 (1+0)
s cnf 1 (s cnf 1)
77 (75+1)
robots_1_5_2_58.7.qdimacs.gz 800 (798+2) 800 (799+1) 200 (199+0)
s cnf 1 (s cnf 1)
25 (23+2) 6 (6+0)
s cnf 1 (s cnf 1)
99 (98+1)
robots_1_5_2_58.8.qdimacs.gz 747 (745+2) 800 (799+1) 503 (503+0)
s cnf 1 (s cnf 1)
24 (23+2) 12 (12+0)
s cnf 1 (s cnf 1)
85 (84+1)
robots_1_5_2_58.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 29 (27+2) 43 (42+0)
s cnf 1 (s cnf 1)
141 (140+1)
robots_1_5_2_59.10.qdimacs.gz 774 (772+2) 800 (799+1) 9 (9+0)
s cnf 1 (s cnf 1)
38 (36+2) 0 (0+0)
s cnf 1 (s cnf 1)
123 (122+1)
robots_1_5_2_59.4.qdimacs.gz 25 (24+0)
s cnf 1 (s cnf 1)
49 (49+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
19 (18+2) 0 (0+0)
s cnf 1 (s cnf 1)
382 (381+1)
s cnf 1 (s cnf 1 715 4206)
robots_1_5_2_59.5.qdimacs.gz 41 (40+0)
s cnf 1 (s cnf 1)
184 (184+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
32 (31+2) 0 (0+0)
s cnf 1 (s cnf 1)
58 (57+1)
robots_1_5_2_59.6.qdimacs.gz 92 (92+1)
s cnf 1 (s cnf 1)
317 (316+1)
s cnf 1 (s cnf 1)
10 (10+0)
s cnf 1 (s cnf 1)
51 (49+2) 0 (0+0)
s cnf 1 (s cnf 1)
359 (358+1)
robots_1_5_2_59.7.qdimacs.gz 235 (234+1)
s cnf 1 (s cnf 1)
701 (700+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
22 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
106 (105+1)
robots_1_5_2_59.8.qdimacs.gz 502 (501+2)
s cnf 1 (s cnf 1)
800 (799+1) 1 (1+0)
s cnf 1 (s cnf 1)
28 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
126 (125+1)
robots_1_5_2_59.9.qdimacs.gz 528 (527+2)
s cnf 1 (s cnf 1)
800 (799+1) 11 (11+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
93 (92+1)
robots_1_5_2_6.10.qdimacs.gz 800 (798+2) 800 (799+1) 30 (30+0)
s cnf 0 (s cnf 0)
34 (32+2) 0 (0+0)
s cnf 0 (s cnf 0)
104 (102+1)
robots_1_5_2_6.4.qdimacs.gz 42 (41+0)
s cnf 1 (s cnf 1)
85 (84+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
18 (17+1) 0 (0+0)
s cnf 1 (s cnf 1)
800 (799+1)
robots_1_5_2_6.5.qdimacs.gz 166 (166+1)
s cnf 1 (s cnf 1)
350 (349+1)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
194 (193+1)
robots_1_5_2_6.6.qdimacs.gz 601 (599+2)
s cnf 0 (s cnf 0)
800 (799+1) 2 (2+0)
s cnf 0 (s cnf 0)
15 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
85 (84+1)
robots_1_5_2_6.7.qdimacs.gz 787 (783+4) 800 (799+1) 37 (37+0)
s cnf 0 (s cnf 0)
25 (24+2) 1 (1+0)
s cnf 0 (s cnf 0)
91 (90+1)
robots_1_5_2_6.8.qdimacs.gz 800 (798+2) 800 (799+1) 24 (24+0)
s cnf 0 (s cnf 0)
29 (27+2) 1 (1+0)
s cnf 0 (s cnf 0)
92 (91+1)
robots_1_5_2_6.9.qdimacs.gz 232 (231+1)
s cnf 0 (s cnf 0)
800 (799+1) 113 (112+0)
s cnf 0 (s cnf 0)
38 (36+2) 1 (1+0)
s cnf 0 (s cnf 0)
189 (188+1)
robots_1_5_2_60.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 28 (26+2) 186 (185+1)
s cnf 1 (s cnf 1)
117 (116+1)
robots_1_5_2_60.4.qdimacs.gz 39 (39+0)
s cnf 1 (s cnf 1)
57 (56+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
24 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
278 (277+1)
s cnf 1 (s cnf 1 651 4040)
robots_1_5_2_60.5.qdimacs.gz 148 (148+1)
s cnf 1 (s cnf 1)
291 (290+1)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
21 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
145 (144+1)
robots_1_5_2_60.6.qdimacs.gz 649 (647+2)
s cnf 1 (s cnf 1)
800 (799+1) 23 (23+0)
s cnf 1 (s cnf 1)
31 (29+2) 1 (1+0)
s cnf 1 (s cnf 1)
83 (82+1)
robots_1_5_2_60.7.qdimacs.gz 773 (770+2) 800 (799+1) 43 (43+0)
s cnf 1 (s cnf 1)
20 (18+2) 2 (2+0)
s cnf 1 (s cnf 1)
80 (79+1)
robots_1_5_2_60.8.qdimacs.gz 800 (798+2) 800 (799+1) 397 (397+0)
s cnf 1 (s cnf 1)
43 (42+2) 18 (17+0)
s cnf 1 (s cnf 1)
117 (115+1)
robots_1_5_2_60.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 26 (25+2) 58 (58+0)
s cnf 1 (s cnf 1)
133 (131+1)
robots_1_5_2_61.10.qdimacs.gz 800 (798+2) 800 (799+1) 7 (7+0)
s cnf 0 (s cnf 0)
45 (43+2) 2 (2+0)
s cnf 0 (s cnf 0)
125 (124+1)
robots_1_5_2_61.4.qdimacs.gz 40 (40+0)
s cnf 1 (s cnf 1)
55 (54+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
36 (34+2) 0 (0+0)
s cnf 1 (s cnf 1)
526 (524+1)
robots_1_5_2_61.5.qdimacs.gz 158 (158+1)
s cnf 1 (s cnf 1)
289 (288+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
28 (26+2) 0 (0+0)
s cnf 1 (s cnf 1)
58 (57+1)
robots_1_5_2_61.6.qdimacs.gz 678 (676+2) 800 (799+1) 7 (7+0)
s cnf 0 (s cnf 0)
36 (35+2) 0 (0+0)
s cnf 0 (s cnf 0)
112 (111+1)
robots_1_5_2_61.7.qdimacs.gz 800 (798+2) 800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0)
33 (31+2) 0 (0+0)
s cnf 0 (s cnf 0)
93 (92+1)
robots_1_5_2_61.8.qdimacs.gz 800 (798+2) 800 (799+1) 10 (10+0)
s cnf 0 (s cnf 0)
22 (20+2) 1 (1+0)
s cnf 0 (s cnf 0)
88 (87+1)
robots_1_5_2_61.9.qdimacs.gz 800 (798+2) 800 (799+1) 120 (120+0)
s cnf 0 (s cnf 0)
38 (36+2) 2 (1+0)
s cnf 0 (s cnf 0)
114 (112+1)
robots_1_5_2_62.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 30 (28+2) 202 (201+1)
s cnf 1 (s cnf 1)
134 (133+1)
robots_1_5_2_62.4.qdimacs.gz 40 (40+0)
s cnf 1 (s cnf 1)
59 (59+0)
s cnf 1 (s cnf 1)
2 (1+0)
s cnf 1 (s cnf 1)
14 (12+2) 0 (0+0)
s cnf 1 (s cnf 1)
271 (269+1)
robots_1_5_2_62.5.qdimacs.gz 179 (178+1)
s cnf 1 (s cnf 1)
307 (306+1)
s cnf 1 (s cnf 1)
8 (8+0)
s cnf 1 (s cnf 1)
21 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
273 (272+1)
robots_1_5_2_62.6.qdimacs.gz 686 (684+2) 800 (799+1) 31 (31+0)
s cnf 1 (s cnf 1)
25 (24+2) 1 (1+0)
s cnf 1 (s cnf 1)
76 (75+1)
robots_1_5_2_62.7.qdimacs.gz 800 (798+2) 800 (799+1) 151 (151+0)
s cnf 1 (s cnf 1)
23 (21+2) 3 (3+0)
s cnf 1 (s cnf 1)
103 (102+1)
robots_1_5_2_62.8.qdimacs.gz 800 (798+2) 800 (799+1) 649 (649+0)
s cnf 1 (s cnf 1)
28 (26+2) 13 (13+0)
s cnf 1 (s cnf 1)
112 (111+1)
robots_1_5_2_62.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 24 (22+2) 63 (63+0)
s cnf 1 (s cnf 1)
125 (124+1)
robots_1_5_2_63.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 26 (24+2) 188 (187+1)
s cnf 1 (s cnf 1)
126 (125+1)
robots_1_5_2_63.4.qdimacs.gz 58 (58+0)
s cnf 1 (s cnf 1)
65 (65+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
14 (13+2) 0 (0+0)
s cnf 1 (s cnf 1)
147 (146+1)
robots_1_5_2_63.5.qdimacs.gz 309 (307+1)
s cnf 1 (s cnf 1)
392 (391+1)
s cnf 1 (s cnf 1)
10 (10+0)
s cnf 1 (s cnf 1)
25 (23+2) 1 (1+0)
s cnf 1 (s cnf 1)
203 (202+1)
robots_1_5_2_63.6.qdimacs.gz 789 (786+2) 800 (799+1) 49 (48+0)
s cnf 1 (s cnf 1)
28 (27+2) 1 (1+0)
s cnf 1 (s cnf 1)
105 (103+1)
robots_1_5_2_63.7.qdimacs.gz 800 (798+2) 800 (799+1) 176 (176+0)
s cnf 1 (s cnf 1)
22 (20+2) 5 (5+0)
s cnf 1 (s cnf 1)
89 (88+1)
robots_1_5_2_63.8.qdimacs.gz 798 (796+2) 800 (799+1) 800 (800+0) 33 (31+2) 18 (18+0)
s cnf 1 (s cnf 1)
87 (86+1)
robots_1_5_2_63.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 25 (23+2) 59 (59+0)
s cnf 1 (s cnf 1)
118 (117+1)
robots_1_5_2_64.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 40 (38+2) 158 (157+1)
s cnf 1 (s cnf 1)
92 (90+1)
robots_1_5_2_64.4.qdimacs.gz 38 (38+0)
s cnf 1 (s cnf 1)
98 (98+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
19 (17+2) 0 (0+0)
s cnf 1 (s cnf 1)
155 (154+0)
s cnf 1 (s cnf 1 416 3945)
robots_1_5_2_64.5.qdimacs.gz 146 (145+1)
s cnf 1 (s cnf 1)
473 (472+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
37 (35+2) 0 (0+0)
s cnf 1 (s cnf 1)
72 (71+1)
robots_1_5_2_64.6.qdimacs.gz 546 (543+4) 800 (799+1) 27 (27+0)
s cnf 1 (s cnf 1)
23 (21+2) 1 (1+0)
s cnf 1 (s cnf 1)
73 (72+1)
robots_1_5_2_64.7.qdimacs.gz 697 (695+2) 800 (799+1) 87 (87+0)
s cnf 1 (s cnf 1)
30 (28+2) 3 (3+0)
s cnf 1 (s cnf 1)
117 (116+1)
robots_1_5_2_64.8.qdimacs.gz 720 (716+4) 800 (799+1) 412 (412+0)
s cnf 1 (s cnf 1)
28 (26+2) 13 (12+0)
s cnf 1 (s cnf 1)
78 (77+1)
robots_1_5_2_64.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 31 (30+2) 44 (44+0)
s cnf 1 (s cnf 1)
105 (104+1)
robots_1_5_2_65.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 24 (23+2) 800 (796+4) 98 (97+1)
robots_1_5_2_65.4.qdimacs.gz 72 (71+1)
s cnf 1 (s cnf 1)
106 (106+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
23 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
434 (433+1)
robots_1_5_2_65.5.qdimacs.gz 560 (558+2)
s cnf 1 (s cnf 1)
800 (798+2) 13 (13+0)
s cnf 1 (s cnf 1)
21 (19+2) 1 (1+0)
s cnf 1 (s cnf 1)
206 (205+1)
robots_1_5_2_65.6.qdimacs.gz 800 (798+2) 800 (799+1) 91 (91+0)
s cnf 1 (s cnf 1)
22 (20+1) 4 (4+0)
s cnf 1 (s cnf 1)
89 (88+1)
robots_1_5_2_65.7.qdimacs.gz 800 (798+2) 800 (799+1) 267 (267+0)
s cnf 1 (s cnf 1)
18 (16+2) 14 (14+0)
s cnf 1 (s cnf 1)
96 (94+1)
robots_1_5_2_65.8.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 27 (25+2) 62 (62+0)
s cnf 1 (s cnf 1)
116 (114+1)
robots_1_5_2_65.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 25 (23+2) 231 (230+1)
s cnf 1 (s cnf 1)
137 (136+1)
robots_1_5_2_66.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 33 (32+2) 162 (161+1)
s cnf 1 (s cnf 1)
117 (116+1)
robots_1_5_2_66.4.qdimacs.gz 50 (50+0)
s cnf 1 (s cnf 1)
78 (78+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
21 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
383 (381+1)
robots_1_5_2_66.5.qdimacs.gz 170 (169+1)
s cnf 1 (s cnf 1)
355 (355+1)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
18 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
200 (199+1)
robots_1_5_2_66.6.qdimacs.gz 730 (727+2) 800 (799+1) 26 (26+0)
s cnf 1 (s cnf 1)
22 (20+2) 1 (1+0)
s cnf 1 (s cnf 1)
111 (110+1)
robots_1_5_2_66.7.qdimacs.gz 800 (798+2) 800 (799+1) 110 (110+0)
s cnf 1 (s cnf 1)
27 (25+2) 4 (4+0)
s cnf 1 (s cnf 1)
109 (108+1)
robots_1_5_2_66.8.qdimacs.gz 800 (798+2) 800 (799+1) 506 (506+0)
s cnf 1 (s cnf 1)
27 (25+2) 14 (14+0)
s cnf 1 (s cnf 1)
109 (108+1)
robots_1_5_2_66.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 26 (24+2) 50 (50+0)
s cnf 1 (s cnf 1)
99 (97+1)
robots_1_5_2_67.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 49 (48+2) 65 (64+0)
s cnf 1 (s cnf 1)
99 (97+1)
robots_1_5_2_67.4.qdimacs.gz 39 (38+0)
s cnf 1 (s cnf 1)
52 (52+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
19 (18+2) 0 (0+0)
s cnf 1 (s cnf 1)
485 (483+1)
s cnf 1 (s cnf 1 599 4235)
robots_1_5_2_67.5.qdimacs.gz 175 (174+1)
s cnf 1 (s cnf 1)
277 (277+1)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
23 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
107 (106+1)
robots_1_5_2_67.6.qdimacs.gz 734 (732+2) 800 (799+1) 27 (27+0)
s cnf 1 (s cnf 1)
27 (26+2) 1 (1+0)
s cnf 1 (s cnf 1)
83 (82+1)
robots_1_5_2_67.7.qdimacs.gz 800 (798+2) 800 (799+1) 118 (118+0)
s cnf 1 (s cnf 1)
22 (20+2) 3 (2+0)
s cnf 1 (s cnf 1)
98 (97+1)
robots_1_5_2_67.8.qdimacs.gz 800 (798+2) 800 (799+1) 344 (344+0)
s cnf 1 (s cnf 1)
35 (33+2) 6 (6+0)
s cnf 1 (s cnf 1)
102 (101+1)
robots_1_5_2_67.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 39 (37+2) 29 (29+0)
s cnf 1 (s cnf 1)
115 (114+1)
robots_1_5_2_68.10.qdimacs.gz 800 (798+2) 800 (799+1) 14 (14+0)
s cnf 0 (s cnf 0)
27 (26+2) 1 (1+0)
s cnf 0 (s cnf 0)
105 (104+1)
robots_1_5_2_68.4.qdimacs.gz 56 (55+0)
s cnf 1 (s cnf 1)
61 (61+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
17 (15+2) 0 (0+0)
s cnf 1 (s cnf 1)
418 (416+1)
s cnf 1 (s cnf 1 713 4185)
robots_1_5_2_68.5.qdimacs.gz 302 (301+1)
s cnf 1 (s cnf 1)
279 (279+1)
s cnf 1 (s cnf 1)
6 (5+0)
s cnf 1 (s cnf 1)
27 (25+2) 0 (0+0)
s cnf 1 (s cnf 1)
61 (60+1)
robots_1_5_2_68.6.qdimacs.gz 772 (770+2) 800 (799+1) 14 (14+0)
s cnf 1 (s cnf 1)
20 (18+2) 1 (1+0)
s cnf 1 (s cnf 1)
77 (76+1)
robots_1_5_2_68.7.qdimacs.gz 800 (798+2) 800 (799+1) 35 (35+0)
s cnf 0 (s cnf 0)
30 (28+2) 3 (3+0)
s cnf 0 (s cnf 0)
135 (134+1)
robots_1_5_2_68.8.qdimacs.gz 800 (798+2) 800 (799+1) 27 (27+0)
s cnf 0 (s cnf 0)
30 (28+2) 5 (5+0)
s cnf 0 (s cnf 0)
93 (92+1)
robots_1_5_2_68.9.qdimacs.gz 800 (798+2) 800 (799+1) 38 (38+0)
s cnf 0 (s cnf 0)
24 (23+2) 13 (13+0)
s cnf 0 (s cnf 0)
131 (130+1)
robots_1_5_2_69.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 28 (27+2) 437 (435+2)
s cnf 1 (s cnf 1)
112 (111+1)
robots_1_5_2_69.4.qdimacs.gz 80 (79+1)
s cnf 1 (s cnf 1)
112 (112+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
31 (29+2) 0 (0+0)
s cnf 1 (s cnf 1)
524 (523+1)
robots_1_5_2_69.5.qdimacs.gz 443 (442+2)
s cnf 1 (s cnf 1)
729 (728+2)
s cnf 1 (s cnf 1)
20 (20+0)
s cnf 1 (s cnf 1)
72 (70+2) 1 (1+0)
s cnf 1 (s cnf 1)
168 (167+1)
robots_1_5_2_69.6.qdimacs.gz 800 (798+2) 800 (799+1) 35 (35+0)
s cnf 1 (s cnf 1)
23 (21+2) 1 (1+0)
s cnf 1 (s cnf 1)
70 (68+1)
robots_1_5_2_69.7.qdimacs.gz 800 (798+2) 800 (799+1) 141 (141+0)
s cnf 1 (s cnf 1)
29 (27+2) 5 (5+0)
s cnf 1 (s cnf 1)
80 (79+1)
robots_1_5_2_69.8.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 19 (17+2) 28 (28+0)
s cnf 1 (s cnf 1)
92 (91+1)
robots_1_5_2_69.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 19 (17+2) 92 (92+1)
s cnf 1 (s cnf 1)
102 (101+1)
robots_1_5_2_7.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 43 (42+2) 44 (44+0)
s cnf 1 (s cnf 1)
97 (96+1)
robots_1_5_2_7.4.qdimacs.gz 54 (54+0)
s cnf 1 (s cnf 1)
58 (58+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
13 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
328 (327+1)
robots_1_5_2_7.5.qdimacs.gz 138 (138+1)
s cnf 1 (s cnf 1)
234 (233+1)
s cnf 1 (s cnf 1)
8 (8+0)
s cnf 1 (s cnf 1)
31 (29+2) 0 (0+0)
s cnf 1 (s cnf 1)
130 (128+1)
robots_1_5_2_7.6.qdimacs.gz 726 (723+2)
s cnf 1 (s cnf 1)
800 (799+1) 20 (20+0)
s cnf 1 (s cnf 1)
17 (15+2) 0 (0+0)
s cnf 1 (s cnf 1)
86 (85+1)
robots_1_5_2_7.7.qdimacs.gz 800 (798+2) 800 (799+1) 95 (95+0)
s cnf 1 (s cnf 1)
16 (14+2) 1 (1+0)
s cnf 1 (s cnf 1)
91 (89+1)
robots_1_5_2_7.8.qdimacs.gz 800 (798+2) 800 (799+1) 317 (317+0)
s cnf 1 (s cnf 1)
23 (22+2) 5 (5+0)
s cnf 1 (s cnf 1)
140 (138+1)
robots_1_5_2_7.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 50 (49+2) 14 (14+0)
s cnf 1 (s cnf 1)
129 (128+1)
robots_1_5_2_70.10.qdimacs.gz 800 (798+2) 800 (799+1) 26 (26+0)
s cnf 0 (s cnf 0)
24 (23+2) 1 (1+0)
s cnf 0 (s cnf 0)
92 (90+1)
robots_1_5_2_70.4.qdimacs.gz 42 (42+0)
s cnf 1 (s cnf 1)
64 (64+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
19 (17+2) 0 (0+0)
s cnf 1 (s cnf 1)
529 (528+1)
s cnf 1 (s cnf 1 748 4272)
robots_1_5_2_70.5.qdimacs.gz 171 (170+1)
s cnf 1 (s cnf 1)
279 (278+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
30 (28+2) 0 (0+0)
s cnf 1 (s cnf 1)
111 (110+1)
robots_1_5_2_70.6.qdimacs.gz 754 (752+2) 800 (799+1) 33 (33+0)
s cnf 1 (s cnf 1)
26 (25+2) 1 (1+0)
s cnf 1 (s cnf 1)
103 (102+1)
robots_1_5_2_70.7.qdimacs.gz 800 (798+2) 800 (799+1) 20 (20+0)
s cnf 0 (s cnf 0)
26 (24+2) 2 (2+0)
s cnf 0 (s cnf 0)
123 (121+1)
robots_1_5_2_70.8.qdimacs.gz 800 (798+2) 800 (799+1) 185 (185+0)
s cnf 0 (s cnf 0)
42 (40+2) 2 (2+0)
s cnf 0 (s cnf 0)
116 (114+1)
robots_1_5_2_70.9.qdimacs.gz 800 (798+2) 800 (799+1) 221 (221+0)
s cnf 0 (s cnf 0)
24 (23+2) 3 (3+0)
s cnf 0 (s cnf 0)
127 (126+1)
robots_1_5_2_71.10.qdimacs.gz 800 (798+2) 800 (799+1) 31 (31+0)
s cnf 0 (s cnf 0)
34 (32+2) 0 (0+0)
s cnf 0 (s cnf 0)
104 (103+1)
robots_1_5_2_71.4.qdimacs.gz 46 (45+0)
s cnf 1 (s cnf 1)
63 (63+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
18 (17+2) 0 (0+0)
s cnf 1 (s cnf 1)
800 (799+1)
robots_1_5_2_71.5.qdimacs.gz 180 (179+1)
s cnf 1 (s cnf 1)
252 (251+1)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
188 (186+1)
robots_1_5_2_71.6.qdimacs.gz 688 (685+2)
s cnf 0 (s cnf 0)
800 (799+1) 2 (2+0)
s cnf 0 (s cnf 0)
15 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
84 (82+1)
robots_1_5_2_71.7.qdimacs.gz 800 (798+2) 800 (799+1) 38 (38+0)
s cnf 0 (s cnf 0)
26 (24+2) 1 (1+0)
s cnf 0 (s cnf 0)
87 (86+1)
robots_1_5_2_71.8.qdimacs.gz 800 (798+2) 800 (799+1) 24 (24+0)
s cnf 0 (s cnf 0)
29 (27+2) 1 (1+0)
s cnf 0 (s cnf 0)
89 (88+1)
robots_1_5_2_71.9.qdimacs.gz 259 (258+1)
s cnf 0 (s cnf 0)
800 (799+1) 113 (113+0)
s cnf 0 (s cnf 0)
38 (36+2) 1 (1+0)
s cnf 0 (s cnf 0)
185 (184+1)
robots_1_5_2_72.10.qdimacs.gz 800 (798+2) 800 (799+1) 13 (13+0)
s cnf 1 (s cnf 1)
25 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
115 (114+1)
robots_1_5_2_72.4.qdimacs.gz 27 (27+0)
s cnf 1 (s cnf 1)
44 (44+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
37 (36+2) 0 (0+0)
s cnf 1 (s cnf 1)
433 (431+1)
s cnf 1 (s cnf 1 614 4665)
robots_1_5_2_72.5.qdimacs.gz 51 (51+0)
s cnf 1 (s cnf 1)
93 (93+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
36 (35+2) 0 (0+0)
s cnf 1 (s cnf 1)
171 (170+1)
robots_1_5_2_72.6.qdimacs.gz 119 (119+1)
s cnf 1 (s cnf 1)
169 (168+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
16 (15+2) 0 (0+0)
s cnf 1 (s cnf 1)
121 (120+1)
robots_1_5_2_72.7.qdimacs.gz 254 (253+1)
s cnf 1 (s cnf 1)
393 (393+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
37 (35+2) 0 (0+0)
s cnf 1 (s cnf 1)
97 (96+1)
robots_1_5_2_72.8.qdimacs.gz 412 (411+2)
s cnf 1 (s cnf 1)
800 (799+1) 17 (17+0)
s cnf 1 (s cnf 1)
29 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
127 (126+1)
robots_1_5_2_72.9.qdimacs.gz 707 (705+2) 800 (799+1) 18 (18+0)
s cnf 1 (s cnf 1)
37 (35+2) 0 (0+0)
s cnf 1 (s cnf 1)
110 (109+1)
robots_1_5_2_73.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 40 (38+2) 212 (211+1)
s cnf 1 (s cnf 1)
117 (116+1)
robots_1_5_2_73.4.qdimacs.gz 43 (43+0)
s cnf 1 (s cnf 1)
66 (65+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
28 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
492 (491+1)
s cnf 1 (s cnf 1 521 4046)
robots_1_5_2_73.5.qdimacs.gz 234 (233+1)
s cnf 1 (s cnf 1)
231 (230+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
25 (24+2) 0 (0+0)
s cnf 1 (s cnf 1)
72 (70+1)
robots_1_5_2_73.6.qdimacs.gz 800 (798+2) 800 (799+1) 33 (33+0)
s cnf 1 (s cnf 1)
21 (19+2) 1 (1+0)
s cnf 1 (s cnf 1)
78 (77+1)
robots_1_5_2_73.7.qdimacs.gz 800 (798+2) 800 (799+1) 107 (107+0)
s cnf 1 (s cnf 1)
33 (31+2) 3 (3+0)
s cnf 1 (s cnf 1)
92 (90+1)
robots_1_5_2_73.8.qdimacs.gz 800 (798+2) 800 (799+1) 742 (742+0)
s cnf 1 (s cnf 1)
28 (26+2) 13 (13+0)
s cnf 1 (s cnf 1)
94 (92+1)
robots_1_5_2_73.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 29 (27+2) 75 (75+0)
s cnf 1 (s cnf 1)
117 (115+1)
robots_1_5_2_74.10.qdimacs.gz 800 (798+2) 800 (799+1) 18 (18+0)
s cnf 0 (s cnf 0)
18 (17+2) 7 (7+0)
s cnf 0 (s cnf 0)
76 (75+1)
robots_1_5_2_74.4.qdimacs.gz 81 (80+1)
s cnf 1 (s cnf 1)
87 (87+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
29 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
234 (232+1)
robots_1_5_2_74.5.qdimacs.gz 487 (485+2)
s cnf 1 (s cnf 1)
586 (585+1)
s cnf 1 (s cnf 1)
22 (22+0)
s cnf 1 (s cnf 1)
24 (22+2) 1 (1+0)
s cnf 1 (s cnf 1)
306 (305+1)
robots_1_5_2_74.6.qdimacs.gz 800 (798+2) 800 (799+1) 52 (52+0)
s cnf 1 (s cnf 1)
17 (15+2) 3 (3+0)
s cnf 1 (s cnf 1)
84 (83+1)
robots_1_5_2_74.7.qdimacs.gz 800 (798+2) 800 (799+1) 49 (49+0)
s cnf 0 (s cnf 0)
19 (17+2) 3 (3+0)
s cnf 0 (s cnf 0)
106 (105+1)
robots_1_5_2_74.8.qdimacs.gz 800 (798+2) 800 (799+1) 147 (147+0)
s cnf 0 (s cnf 0)
32 (30+2) 12 (12+0)
s cnf 0 (s cnf 0)
135 (134+1)
robots_1_5_2_74.9.qdimacs.gz 800 (798+2) 800 (799+1) 414 (414+0)
s cnf 0 (s cnf 0)
29 (27+2) 6 (6+0)
s cnf 0 (s cnf 0)
120 (118+1)
robots_1_5_2_75.10.qdimacs.gz 800 (798+2) 800 (799+1) 10 (10+0)
s cnf 1 (s cnf 1)
33 (31+2) 0 (0+0)
s cnf 1 (s cnf 1)
116 (115+1)
robots_1_5_2_75.4.qdimacs.gz 23 (23+0)
s cnf 1 (s cnf 1)
38 (38+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
16 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
442 (441+1)
s cnf 1 (s cnf 1 735 4189)
robots_1_5_2_75.5.qdimacs.gz 47 (46+0)
s cnf 1 (s cnf 1)
79 (79+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
29 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
90 (89+1)
robots_1_5_2_75.6.qdimacs.gz 128 (127+1)
s cnf 1 (s cnf 1)
145 (145+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
25 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
94 (92+1)
robots_1_5_2_75.7.qdimacs.gz 254 (253+1)
s cnf 1 (s cnf 1)
347 (347+1)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
28 (26+2) 0 (0+0)
s cnf 1 (s cnf 1)
77 (75+1)
robots_1_5_2_75.8.qdimacs.gz 361 (360+1)
s cnf 1 (s cnf 1)
800 (799+1) 2 (2+0)
s cnf 1 (s cnf 1)
32 (31+2) 0 (0+0)
s cnf 1 (s cnf 1)
104 (102+1)
robots_1_5_2_75.9.qdimacs.gz 800 (798+2) 800 (799+1) 14 (14+0)
s cnf 1 (s cnf 1)
39 (37+2) 0 (0+0)
s cnf 1 (s cnf 1)
120 (118+1)
robots_1_5_2_76.10.qdimacs.gz 759 (757+2) 800 (799+1) 12 (12+0)
s cnf 1 (s cnf 1)
32 (30+2) 0 (0+0)
s cnf 1 (s cnf 1)
114 (113+1)
robots_1_5_2_76.4.qdimacs.gz 26 (26+0)
s cnf 1 (s cnf 1)
35 (35+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
353 (352+1)
s cnf 1 (s cnf 1 558 4274)
robots_1_5_2_76.5.qdimacs.gz 46 (45+0)
s cnf 1 (s cnf 1)
98 (98+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
94 (93+1)
robots_1_5_2_76.6.qdimacs.gz 145 (144+1)
s cnf 1 (s cnf 1)
214 (214+1)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
29 (28+2) 0 (0+0)
s cnf 1 (s cnf 1)
78 (77+1)
robots_1_5_2_76.7.qdimacs.gz 218 (217+1)
s cnf 1 (s cnf 1)
455 (454+1)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
30 (29+2) 0 (0+0)
s cnf 1 (s cnf 1)
107 (105+1)
robots_1_5_2_76.8.qdimacs.gz 383 (381+1)
s cnf 1 (s cnf 1)
800 (799+1) 20 (20+0)
s cnf 1 (s cnf 1)
29 (27+2) 0 (0+0)
s cnf 1 (s cnf 1)
135 (134+1)
robots_1_5_2_76.9.qdimacs.gz 756 (754+2)
s cnf 1 (s cnf 1)
800 (799+1) 15 (15+0)
s cnf 1 (s cnf 1)
27 (26+2) 0 (0+0)
s cnf 1 (s cnf 1)
108 (106+1)
robots_1_5_2_77.10.qdimacs.gz 800 (798+2) 800 (799+1) 125 (125+0)
s cnf 0 (s cnf 0)
41 (39+2) 0 (0+0)
s cnf 0 (s cnf 0)
98 (97+1)
robots_1_5_2_77.4.qdimacs.gz 75 (75+0)
s cnf 1 (s cnf 1)
89 (88+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
12 (10+2) 0 (0+0)
s cnf 1 (s cnf 1)
268 (267+1)
s cnf 1 (s cnf 1 745 4161)
robots_1_5_2_77.5.qdimacs.gz 488 (486+2)
s cnf 1 (s cnf 1)
552 (551+1)
s cnf 1 (s cnf 1)
23 (23+0)
s cnf 1 (s cnf 1)
24 (22+2) 1 (1+0)
s cnf 1 (s cnf 1)
146 (145+1)
robots_1_5_2_77.6.qdimacs.gz 800 (798+2) 800 (799+1) 56 (56+0)
s cnf 0 (s cnf 0)
33 (32+2) 1 (1+0)
s cnf 0 (s cnf 0)
91 (90+1)
robots_1_5_2_77.7.qdimacs.gz 800 (798+2) 800 (799+1) 10 (10+0)
s cnf 0 (s cnf 0)
22 (20+2) 0 (0+0)
s cnf 0 (s cnf 0)
120 (119+1)
robots_1_5_2_77.8.qdimacs.gz 800 (798+2) 800 (799+1) 148 (148+0)
s cnf 0 (s cnf 0)
25 (23+2) 2 (2+0)
s cnf 0 (s cnf 0)
118 (117+1)
robots_1_5_2_77.9.qdimacs.gz 490 (489+1)
s cnf 0 (s cnf 0)
553 (552+1)
s cnf 0 (s cnf 0)
20 (20+0)
s cnf 0 (s cnf 0)
34 (32+2) 1 (1+0)
s cnf 0 (s cnf 0)
120 (119+1)
robots_1_5_2_78.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 28 (27+2) 196 (195+1)
s cnf 1 (s cnf 1)
123 (122+1)
robots_1_5_2_78.4.qdimacs.gz 52 (51+0)
s cnf 1 (s cnf 1)
58 (58+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
541 (539+1)
robots_1_5_2_78.5.qdimacs.gz 162 (162+1)
s cnf 1 (s cnf 1)
249 (248+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
17 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
82 (80+1)
robots_1_5_2_78.6.qdimacs.gz 776 (774+2) 800 (799+1) 33 (33+0)
s cnf 1 (s cnf 1)
19 (18+2) 1 (1+0)
s cnf 1 (s cnf 1)
99 (97+1)
robots_1_5_2_78.7.qdimacs.gz 800 (798+2) 800 (799+1) 120 (120+0)
s cnf 1 (s cnf 1)
45 (43+2) 3 (3+0)
s cnf 1 (s cnf 1)
93 (92+1)
robots_1_5_2_78.8.qdimacs.gz 800 (798+2) 800 (799+1) 495 (495+0)
s cnf 1 (s cnf 1)
27 (26+2) 15 (15+0)
s cnf 1 (s cnf 1)
110 (108+1)
robots_1_5_2_78.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 30 (28+2) 57 (57+0)
s cnf 1 (s cnf 1)
129 (128+1)
robots_1_5_2_79.10.qdimacs.gz 800 (798+2) 800 (799+1) 588 (588+0)
s cnf 0 (s cnf 0)
30 (28+2) 8 (8+0)
s cnf 0 (s cnf 0)
92 (91+1)
robots_1_5_2_79.4.qdimacs.gz 46 (46+0)
s cnf 1 (s cnf 1)
49 (49+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
15 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
585 (584+1)
robots_1_5_2_79.5.qdimacs.gz 193 (193+1)
s cnf 1 (s cnf 1)
228 (227+1)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
37 (35+2) 0 (0+0)
s cnf 1 (s cnf 1)
186 (185+1)
robots_1_5_2_79.6.qdimacs.gz 739 (736+2) 800 (799+1) 28 (28+0)
s cnf 1 (s cnf 1)
37 (35+2) 1 (1+0)
s cnf 1 (s cnf 1)
81 (79+1)
robots_1_5_2_79.7.qdimacs.gz 800 (798+2) 800 (799+1) 72 (72+0)
s cnf 1 (s cnf 1)
20 (19+2) 2 (2+0)
s cnf 1 (s cnf 1)
91 (90+1)
robots_1_5_2_79.8.qdimacs.gz 800 (798+2) 800 (799+1) 234 (234+0)
s cnf 0 (s cnf 0)
23 (21+2) 3 (3+0)
s cnf 0 (s cnf 0)
104 (103+1)
robots_1_5_2_79.9.qdimacs.gz 800 (798+2) 800 (799+1) 645 (645+0)
s cnf 0 (s cnf 0)
29 (28+2) 8 (8+0)
s cnf 0 (s cnf 0)
135 (134+1)
robots_1_5_2_8.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 43 (42+2) 43 (43+0)
s cnf 1 (s cnf 1)
102 (101+1)
robots_1_5_2_8.4.qdimacs.gz 54 (54+0)
s cnf 1 (s cnf 1)
58 (58+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
13 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
337 (336+1)
robots_1_5_2_8.5.qdimacs.gz 140 (139+1)
s cnf 1 (s cnf 1)
234 (233+1)
s cnf 1 (s cnf 1)
8 (8+0)
s cnf 1 (s cnf 1)
31 (29+2) 0 (0+0)
s cnf 1 (s cnf 1)
133 (131+1)
robots_1_5_2_8.6.qdimacs.gz 733 (730+3)
s cnf 1 (s cnf 1)
800 (799+1) 20 (19+0)
s cnf 1 (s cnf 1)
17 (15+2) 0 (0+0)
s cnf 1 (s cnf 1)
88 (86+1)
robots_1_5_2_8.7.qdimacs.gz 800 (798+2) 800 (799+1) 97 (97+0)
s cnf 1 (s cnf 1)
16 (14+2) 1 (1+0)
s cnf 1 (s cnf 1)
89 (88+1)
robots_1_5_2_8.8.qdimacs.gz 800 (798+2) 800 (799+1) 313 (313+0)
s cnf 1 (s cnf 1)
23 (22+2) 5 (5+0)
s cnf 1 (s cnf 1)
137 (136+1)
robots_1_5_2_8.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 51 (49+2) 14 (14+0)
s cnf 1 (s cnf 1)
127 (126+1)
robots_1_5_2_80.10.qdimacs.gz 800 (798+2) 800 (799+1) 320 (320+0)
s cnf 0 (s cnf 0)
27 (26+2) 12 (12+0)
s cnf 0 (s cnf 0)
137 (136+1)
robots_1_5_2_80.4.qdimacs.gz 55 (55+0)
s cnf 1 (s cnf 1)
64 (64+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
21 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
256 (255+1)
robots_1_5_2_80.5.qdimacs.gz 162 (161+1)
s cnf 1 (s cnf 1)
241 (240+1)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
34 (33+2) 0 (0+0)
s cnf 1 (s cnf 1)
73 (71+1)
robots_1_5_2_80.6.qdimacs.gz 738 (735+2) 800 (799+1) 31 (31+0)
s cnf 1 (s cnf 1)
23 (21+2) 1 (1+0)
s cnf 1 (s cnf 1)
88 (87+1)
robots_1_5_2_80.7.qdimacs.gz 800 (798+2) 800 (799+1) 112 (112+0)
s cnf 1 (s cnf 1)
56 (55+2) 2 (2+0)
s cnf 1 (s cnf 1)
71 (70+1)
robots_1_5_2_80.8.qdimacs.gz 800 (798+2) 800 (799+1) 206 (206+0)
s cnf 0 (s cnf 0)
34 (32+2) 8 (8+0)
s cnf 0 (s cnf 0)
117 (115+1)
robots_1_5_2_80.9.qdimacs.gz 800 (798+2) 800 (799+1) 28 (28+0)
s cnf 0 (s cnf 0)
27 (25+2) 5 (5+0)
s cnf 0 (s cnf 0)
135 (133+1)
robots_1_5_2_81.10.qdimacs.gz 800 (798+2) 800 (799+1) 26 (26+0)
s cnf 1 (s cnf 1)
30 (28+2) 0 (0+0)
s cnf 1 (s cnf 1)
111 (110+1)
robots_1_5_2_81.4.qdimacs.gz 26 (25+0)
s cnf 1 (s cnf 1)
33 (33+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
22 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
190 (188+1)
robots_1_5_2_81.5.qdimacs.gz 59 (58+0)
s cnf 1 (s cnf 1)
99 (98+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
135 (134+1)
robots_1_5_2_81.6.qdimacs.gz 119 (118+1)
s cnf 1 (s cnf 1)
242 (241+1)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
30 (28+2) 0 (0+0)
s cnf 1 (s cnf 1)
107 (106+1)
robots_1_5_2_81.7.qdimacs.gz 205 (204+1)
s cnf 1 (s cnf 1)
529 (528+1)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
34 (33+2) 0 (0+0)
s cnf 1 (s cnf 1)
102 (100+1)
robots_1_5_2_81.8.qdimacs.gz 413 (412+1)
s cnf 1 (s cnf 1)
647 (646+1)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
23 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
117 (116+1)
robots_1_5_2_81.9.qdimacs.gz 673 (669+4) 800 (799+1) 11 (11+0)
s cnf 1 (s cnf 1)
38 (37+2) 0 (0+0)
s cnf 1 (s cnf 1)
93 (91+1)
robots_1_5_2_82.10.qdimacs.gz 241 (240+1)
s cnf 0 (s cnf 0)
800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
21 (20+2) 0 (0+0)
s cnf 0 (s cnf 0)
84 (83+1)
robots_1_5_2_82.4.qdimacs.gz 68 (68+1)
s cnf 1 (s cnf 1)
76 (76+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
173 (172+1)
robots_1_5_2_82.5.qdimacs.gz 270 (269+1)
s cnf 0 (s cnf 0)
359 (358+1)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
25 (24+2) 0 (0+0)
s cnf 0 (s cnf 0)
147 (146+1)
robots_1_5_2_82.6.qdimacs.gz 107 (107+1)
s cnf 0 (s cnf 0)
704 (703+1)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
27 (26+2) 0 (0+0)
s cnf 0 (s cnf 0)
82 (81+1)
robots_1_5_2_82.7.qdimacs.gz 800 (798+2) 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
30 (28+2) 0 (0+0)
s cnf 0 (s cnf 0)
135 (134+1)
robots_1_5_2_82.8.qdimacs.gz 800 (798+2) 800 (799+1) 15 (15+0)
s cnf 0 (s cnf 0)
24 (23+2) 0 (0+0)
s cnf 0 (s cnf 0)
102 (101+1)
robots_1_5_2_82.9.qdimacs.gz 800 (798+2) 800 (799+1) 21 (21+0)
s cnf 0 (s cnf 0)
27 (25+2) 0 (0+0)
s cnf 0 (s cnf 0)
126 (124+1)
robots_1_5_2_83.10.qdimacs.gz 502 (500+1)
s cnf 0 (s cnf 0)
553 (552+1)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
120 (119+1)
robots_1_5_2_83.4.qdimacs.gz 41 (41+0)
s cnf 1 (s cnf 1)
60 (59+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
14 (13+2) 0 (0+0)
s cnf 1 (s cnf 1)
437 (436+1)
robots_1_5_2_83.5.qdimacs.gz 112 (111+1)
s cnf 0 (s cnf 0)
202 (202+1)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
32 (30+1) 0 (0+0)
s cnf 0 (s cnf 0)
124 (122+1)
robots_1_5_2_83.6.qdimacs.gz 136 (136+1)
s cnf 0 (s cnf 0)
330 (329+1)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
25 (23+2) 0 (0+0)
s cnf 0 (s cnf 0)
79 (77+1)
robots_1_5_2_83.7.qdimacs.gz 209 (208+1)
s cnf 0 (s cnf 0)
127 (126+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
26 (24+2) 0 (0+0)
s cnf 0 (s cnf 0)
107 (106+1)
robots_1_5_2_83.8.qdimacs.gz 416 (414+2)
s cnf 0 (s cnf 0)
800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
40 (38+2) 0 (0+0)
s cnf 0 (s cnf 0)
471 (469+1)
robots_1_5_2_83.9.qdimacs.gz 227 (226+1)
s cnf 0 (s cnf 0)
800 (799+1) 3 (3+0)
s cnf 0 (s cnf 0)
36 (34+2) 0 (0+0)
s cnf 0 (s cnf 0)
123 (122+1)
robots_1_5_2_84.10.qdimacs.gz 500 (498+1)
s cnf 0 (s cnf 0)
552 (552+1)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
120 (118+1)
robots_1_5_2_84.4.qdimacs.gz 41 (40+0)
s cnf 1 (s cnf 1)
60 (59+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
14 (12+2) 0 (0+0)
s cnf 1 (s cnf 1)
439 (437+1)
robots_1_5_2_84.5.qdimacs.gz 108 (107+1)
s cnf 0 (s cnf 0)
203 (203+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
32 (30+2) 0 (0+0)
s cnf 0 (s cnf 0)
124 (123+1)
robots_1_5_2_84.6.qdimacs.gz 141 (140+1)
s cnf 0 (s cnf 0)
330 (329+1)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
25 (23+2) 0 (0+0)
s cnf 0 (s cnf 0)
78 (77+1)
robots_1_5_2_84.7.qdimacs.gz 207 (206+1)
s cnf 0 (s cnf 0)
127 (127+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
26 (24+2) 0 (0+0)
s cnf 0 (s cnf 0)
106 (105+1)
robots_1_5_2_84.8.qdimacs.gz 411 (410+2)
s cnf 0 (s cnf 0)
800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
39 (38+2) 0 (0+0)
s cnf 0 (s cnf 0)
473 (472+1)
robots_1_5_2_84.9.qdimacs.gz 231 (230+1)
s cnf 0 (s cnf 0)
800 (799+1) 3 (3+0)
s cnf 0 (s cnf 0)
36 (34+2) 0 (0+0)
s cnf 0 (s cnf 0)
122 (120+1)
robots_1_5_2_85.10.qdimacs.gz 800 (798+2) 800 (799+1) 11 (11+0)
s cnf 1 (s cnf 1)
45 (43+2) 0 (0+0)
s cnf 1 (s cnf 1)
129 (127+1)
robots_1_5_2_85.4.qdimacs.gz 24 (24+0)
s cnf 1 (s cnf 1)
29 (29+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
26 (25+2) 0 (0+0)
s cnf 1 (s cnf 1)
800 (799+1)
robots_1_5_2_85.5.qdimacs.gz 44 (44+0)
s cnf 1 (s cnf 1)
85 (84+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
50 (49+2) 0 (0+0)
s cnf 1 (s cnf 1)
171 (170+1)
robots_1_5_2_85.6.qdimacs.gz 102 (102+1)
s cnf 1 (s cnf 1)
199 (198+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
25 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
104 (103+1)
robots_1_5_2_85.7.qdimacs.gz 169 (168+1)
s cnf 1 (s cnf 1)
265 (265+1)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
27 (26+2) 0 (0+0)
s cnf 1 (s cnf 1)
116 (114+1)
robots_1_5_2_85.8.qdimacs.gz 340 (339+1)
s cnf 1 (s cnf 1)
800 (799+1) 13 (13+0)
s cnf 1 (s cnf 1)
31 (30+2) 0 (0+0)
s cnf 1 (s cnf 1)
106 (105+1)
robots_1_5_2_85.9.qdimacs.gz 647 (645+2)
s cnf 1 (s cnf 1)
800 (799+1) 8 (8+0)
s cnf 1 (s cnf 1)
54 (53+2) 0 (0+0)
s cnf 1 (s cnf 1)
88 (86+1)
robots_1_5_2_86.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 29 (27+2) 463 (461+2)
s cnf 1 (s cnf 1)
110 (109+1)
robots_1_5_2_86.4.qdimacs.gz 83 (82+1)
s cnf 1 (s cnf 1)
78 (78+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
31 (29+2) 0 (0+0)
s cnf 1 (s cnf 1)
526 (525+1)
robots_1_5_2_86.5.qdimacs.gz 444 (442+2)
s cnf 1 (s cnf 1)
487 (486+1)
s cnf 1 (s cnf 1)
20 (20+0)
s cnf 1 (s cnf 1)
72 (70+2) 1 (1+0)
s cnf 1 (s cnf 1)
165 (163+1)
robots_1_5_2_86.6.qdimacs.gz 800 (798+2) 800 (799+1) 35 (35+0)
s cnf 1 (s cnf 1)
23 (21+2) 1 (1+0)
s cnf 1 (s cnf 1)
71 (70+1)
robots_1_5_2_86.7.qdimacs.gz 800 (798+2) 800 (799+1) 131 (130+0)
s cnf 1 (s cnf 1)
29 (27+2) 5 (5+0)
s cnf 1 (s cnf 1)
86 (84+1)
robots_1_5_2_86.8.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 19 (17+2) 26 (26+0)
s cnf 1 (s cnf 1)
101 (99+1)
robots_1_5_2_86.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 19 (18+2) 87 (87+0)
s cnf 1 (s cnf 1)
111 (110+1)
robots_1_5_2_87.10.qdimacs.gz 800 (798+2) 800 (799+1) 12 (12+0)
s cnf 1 (s cnf 1)
28 (26+2) 0 (0+0)
s cnf 1 (s cnf 1)
146 (145+1)
robots_1_5_2_87.4.qdimacs.gz 29 (29+0)
s cnf 1 (s cnf 1)
39 (39+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
16 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
243 (241+1)
s cnf 1 (s cnf 1 614 4014)
robots_1_5_2_87.5.qdimacs.gz 39 (39+0)
s cnf 1 (s cnf 1)
80 (80+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
26 (25+2) 0 (0+0)
s cnf 1 (s cnf 1)
151 (150+1)
robots_1_5_2_87.6.qdimacs.gz 80 (80+1)
s cnf 1 (s cnf 1)
184 (184+1)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
42 (41+2) 0 (0+0)
s cnf 1 (s cnf 1)
125 (124+1)
robots_1_5_2_87.7.qdimacs.gz 163 (162+1)
s cnf 1 (s cnf 1)
416 (415+1)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
18 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
76 (75+1)
robots_1_5_2_87.8.qdimacs.gz 509 (507+2)
s cnf 1 (s cnf 1)
799 (798+1)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
20 (18+2) 0 (0+0)
s cnf 1 (s cnf 1)
136 (134+1)
robots_1_5_2_87.9.qdimacs.gz 742 (740+2) 800 (799+1) 57 (57+0)
s cnf 1 (s cnf 1)
36 (34+2) 0 (0+0)
s cnf 1 (s cnf 1)
102 (101+1)
robots_1_5_2_88.10.qdimacs.gz 800 (798+2) 800 (799+1) 11 (11+0)
s cnf 0 (s cnf 0)
21 (19+2) 0 (0+0)
s cnf 0 (s cnf 0)
99 (98+1)
robots_1_5_2_88.4.qdimacs.gz 67 (67+0)
s cnf 1 (s cnf 1)
58 (58+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
19 (17+2) 0 (0+0)
s cnf 1 (s cnf 1)
408 (407+1)
s cnf 1 (s cnf 1 441 4057)
robots_1_5_2_88.5.qdimacs.gz 76 (76+1)
s cnf 0 (s cnf 0)
303 (302+1)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
38 (37+2) 0 (0+0)
s cnf 0 (s cnf 0)
173 (172+1)
robots_1_5_2_88.6.qdimacs.gz 627 (625+2)
s cnf 0 (s cnf 0)
742 (741+1)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
28 (26+2) 0 (0+0)
s cnf 0 (s cnf 0)
106 (105+1)
robots_1_5_2_88.7.qdimacs.gz 115 (114+1)
s cnf 0 (s cnf 0)
247 (247+1)
s cnf 0 (s cnf 0)
10 (10+0)
s cnf 0 (s cnf 0)
23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
74 (73+1)
robots_1_5_2_88.8.qdimacs.gz 749 (746+2)
s cnf 0 (s cnf 0)
800 (799+1) 12 (12+0)
s cnf 0 (s cnf 0)
29 (27+2) 0 (0+0)
s cnf 0 (s cnf 0)
108 (107+1)
robots_1_5_2_88.9.qdimacs.gz 297 (296+1)
s cnf 0 (s cnf 0)
800 (799+1) 10 (10+0)
s cnf 0 (s cnf 0)
26 (24+2) 1 (1+0)
s cnf 0 (s cnf 0)
96 (95+1)
robots_1_5_2_89.10.qdimacs.gz 800 (798+2) 800 (799+1) 15 (15+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
96 (95+1)
robots_1_5_2_89.4.qdimacs.gz 24 (23+0)
s cnf 1 (s cnf 1)
34 (34+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
19 (18+2) 0 (0+0)
s cnf 1 (s cnf 1)
324 (323+1)
robots_1_5_2_89.5.qdimacs.gz 47 (47+0)
s cnf 1 (s cnf 1)
78 (78+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
25 (23+2) 0 (0+0)
s cnf 1 (s cnf 1)
100 (98+1)
robots_1_5_2_89.6.qdimacs.gz 111 (110+1)
s cnf 1 (s cnf 1)
219 (219+1)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
107 (106+1)
robots_1_5_2_89.7.qdimacs.gz 255 (254+1)
s cnf 1 (s cnf 1)
504 (503+1)
s cnf 1 (s cnf 1)
10 (10+0)
s cnf 1 (s cnf 1)
33 (31+2) 0 (0+0)
s cnf 1 (s cnf 1)
89 (87+1)
robots_1_5_2_89.8.qdimacs.gz 453 (451+2)
s cnf 1 (s cnf 1)
800 (799+1) 29 (29+0)
s cnf 1 (s cnf 1)
39 (37+2) 0 (0+0)
s cnf 1 (s cnf 1)
127 (126+1)
robots_1_5_2_89.9.qdimacs.gz 718 (716+2)
s cnf 1 (s cnf 1)
800 (799+1) 23 (23+0)
s cnf 1 (s cnf 1)
43 (42+2) 0 (0+0)
s cnf 1 (s cnf 1)
144 (143+1)
robots_1_5_2_9.10.qdimacs.gz 375 (374+1)
s cnf 0 (s cnf 0)
800 (799+1) 9 (9+0)
s cnf 0 (s cnf 0)
32 (30+2) 2 (2+0)
s cnf 0 (s cnf 0)
121 (120+1)
robots_1_5_2_9.4.qdimacs.gz 85 (84+1)
s cnf 1 (s cnf 1)
87 (86+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
17 (15+2) 0 (0+0)
s cnf 1 (s cnf 1)
182 (181+1)
robots_1_5_2_9.5.qdimacs.gz 370 (369+1)
s cnf 1 (s cnf 1)
499 (498+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
22 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
204 (203+1)
robots_1_5_2_9.6.qdimacs.gz 800 (798+2) 800 (799+1) 52 (52+0)
s cnf 0 (s cnf 0)
51 (49+2) 1 (1+0)
s cnf 0 (s cnf 0)
105 (104+1)
robots_1_5_2_9.7.qdimacs.gz 639 (637+2)
s cnf 0 (s cnf 0)
800 (799+1) 20 (20+0)
s cnf 0 (s cnf 0)
39 (37+2) 2 (2+0)
s cnf 0 (s cnf 0)
123 (122+1)
robots_1_5_2_9.8.qdimacs.gz 800 (798+2) 800 (799+1) 56 (56+0)
s cnf 0 (s cnf 0)
24 (22+2) 2 (2+0)
s cnf 0 (s cnf 0)
104 (103+1)
robots_1_5_2_9.9.qdimacs.gz 800 (798+2) 800 (799+1) 3 (3+0)
s cnf 0 (s cnf 0)
30 (28+2) 0 (0+0)
s cnf 0 (s cnf 0)
146 (145+1)
robots_1_5_2_90.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 25 (23+2) 164 (163+1)
s cnf 1 (s cnf 1)
119 (118+1)
robots_1_5_2_90.4.qdimacs.gz 65 (64+0)
s cnf 1 (s cnf 1)
76 (76+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
14 (12+2) 0 (0+0)
s cnf 1 (s cnf 1)
98 (97+1)
robots_1_5_2_90.5.qdimacs.gz 314 (313+1)
s cnf 1 (s cnf 1)
341 (340+1)
s cnf 1 (s cnf 1)
14 (14+0)
s cnf 1 (s cnf 1)
32 (30+2) 1 (1+0)
s cnf 1 (s cnf 1)
139 (138+1)
robots_1_5_2_90.6.qdimacs.gz 800 (798+2) 800 (799+1) 17 (17+0)
s cnf 1 (s cnf 1)
22 (20+2) 1 (1+0)
s cnf 1 (s cnf 1)
78 (76+1)
robots_1_5_2_90.7.qdimacs.gz 800 (798+2) 800 (799+1) 146 (146+0)
s cnf 1 (s cnf 1)
23 (21+2) 4 (4+0)
s cnf 1 (s cnf 1)
85 (84+1)
robots_1_5_2_90.8.qdimacs.gz 800 (798+2) 800 (799+1) 797 (797+0)
s cnf 1 (s cnf 1)
27 (25+2) 12 (12+0)
s cnf 1 (s cnf 1)
94 (93+1)
robots_1_5_2_90.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 24 (23+2) 45 (45+0)
s cnf 1 (s cnf 1)
145 (144+1)
robots_1_5_2_91.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 24 (22+2) 9 (9+0)
s cnf 1 (s cnf 1)
129 (128+1)
robots_1_5_2_91.4.qdimacs.gz 37 (36+0)
s cnf 1 (s cnf 1)
54 (54+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
15 (13+2) 0 (0+0)
s cnf 1 (s cnf 1)
152 (150+1)
robots_1_5_2_91.5.qdimacs.gz 139 (138+1)
s cnf 1 (s cnf 1)
175 (175+0)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
32 (30+2) 0 (0+0)
s cnf 1 (s cnf 1)
253 (252+1)
robots_1_5_2_91.6.qdimacs.gz 395 (393+1)
s cnf 1 (s cnf 1)
657 (656+1)
s cnf 1 (s cnf 1)
13 (13+0)
s cnf 1 (s cnf 1)
20 (18+2) 0 (0+0)
s cnf 1 (s cnf 1)
106 (104+1)
robots_1_5_2_91.7.qdimacs.gz 800 (798+2) 800 (799+1) 53 (53+0)
s cnf 1 (s cnf 1)
26 (25+2) 1 (1+0)
s cnf 1 (s cnf 1)
98 (97+1)
robots_1_5_2_91.8.qdimacs.gz 800 (798+2) 800 (799+1) 141 (141+0)
s cnf 1 (s cnf 1)
23 (21+2) 2 (2+0)
s cnf 1 (s cnf 1)
108 (106+1)
robots_1_5_2_91.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 24 (22+2) 6 (6+0)
s cnf 1 (s cnf 1)
117 (116+1)
robots_1_5_2_92.10.qdimacs.gz 800 (798+2) 800 (799+1) 306 (306+0)
s cnf 0 (s cnf 0)
46 (44+2) 8 (8+0)
s cnf 0 (s cnf 0)
118 (117+1)
robots_1_5_2_92.4.qdimacs.gz 37 (37+0)
s cnf 1 (s cnf 1)
64 (63+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
24 (23+1) 0 (0+0)
s cnf 1 (s cnf 1)
169 (168+1)
robots_1_5_2_92.5.qdimacs.gz 192 (191+1)
s cnf 1 (s cnf 1)
274 (273+1)
s cnf 1 (s cnf 1)
13 (13+0)
s cnf 1 (s cnf 1)
64 (62+2) 0 (0+0)
s cnf 1 (s cnf 1)
112 (110+1)
robots_1_5_2_92.6.qdimacs.gz 786 (783+3) 800 (799+1) 34 (34+0)
s cnf 1 (s cnf 1)
32 (30+2) 1 (1+0)
s cnf 1 (s cnf 1)
108 (107+1)
robots_1_5_2_92.7.qdimacs.gz 800 (798+2) 800 (799+1) 112 (112+0)
s cnf 1 (s cnf 1)
34 (33+2) 2 (2+0)
s cnf 1 (s cnf 1)
253 (251+1)
robots_1_5_2_92.8.qdimacs.gz 800 (798+2) 800 (799+1) 509 (509+0)
s cnf 0 (s cnf 0)
30 (29+2) 2 (2+0)
s cnf 0 (s cnf 0)
135 (133+1)
robots_1_5_2_92.9.qdimacs.gz 800 (798+2) 800 (799+1) 507 (507+0)
s cnf 0 (s cnf 0)
25 (23+2) 1 (1+0)
s cnf 0 (s cnf 0)
103 (102+1)
robots_1_5_2_93.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 30 (28+2) 228 (227+1)
s cnf 1 (s cnf 1)
132 (131+1)
robots_1_5_2_93.4.qdimacs.gz 43 (43+0)
s cnf 1 (s cnf 1)
60 (59+0)
s cnf 1 (s cnf 1)
2 (1+0)
s cnf 1 (s cnf 1)
13 (12+2) 0 (0+0)
s cnf 1 (s cnf 1)
271 (269+1)
robots_1_5_2_93.5.qdimacs.gz 199 (198+1)
s cnf 1 (s cnf 1)
307 (307+1)
s cnf 1 (s cnf 1)
8 (8+0)
s cnf 1 (s cnf 1)
21 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
268 (267+1)
robots_1_5_2_93.6.qdimacs.gz 780 (777+2) 800 (799+1) 31 (31+0)
s cnf 1 (s cnf 1)
26 (24+2) 1 (1+0)
s cnf 1 (s cnf 1)
78 (76+1)
robots_1_5_2_93.7.qdimacs.gz 800 (798+2) 800 (799+1) 154 (154+0)
s cnf 1 (s cnf 1)
23 (21+2) 4 (4+0)
s cnf 1 (s cnf 1)
101 (99+1)
robots_1_5_2_93.8.qdimacs.gz 800 (798+2) 800 (799+1) 646 (646+0)
s cnf 1 (s cnf 1)
28 (27+2) 15 (15+0)
s cnf 1 (s cnf 1)
109 (108+1)
robots_1_5_2_93.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 24 (22+2) 67 (67+0)
s cnf 1 (s cnf 1)
125 (123+1)
robots_1_5_2_94.10.qdimacs.gz 748 (746+2) 800 (799+1) 11 (11+0)
s cnf 1 (s cnf 1)
32 (30+2) 0 (0+0)
s cnf 1 (s cnf 1)
114 (113+1)
robots_1_5_2_94.4.qdimacs.gz 26 (25+0)
s cnf 1 (s cnf 1)
35 (35+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
361 (360+1)
s cnf 1 (s cnf 1 558 4274)
robots_1_5_2_94.5.qdimacs.gz 45 (45+0)
s cnf 1 (s cnf 1)
99 (99+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
93 (92+1)
robots_1_5_2_94.6.qdimacs.gz 149 (148+1)
s cnf 1 (s cnf 1)
214 (214+1)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
29 (28+2) 0 (0+0)
s cnf 1 (s cnf 1)
79 (78+1)
robots_1_5_2_94.7.qdimacs.gz 220 (219+1)
s cnf 1 (s cnf 1)
455 (454+1)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
31 (29+2) 0 (0+0)
s cnf 1 (s cnf 1)
108 (107+1)
robots_1_5_2_94.8.qdimacs.gz 382 (380+2)
s cnf 1 (s cnf 1)
800 (799+1) 20 (20+0)
s cnf 1 (s cnf 1)
29 (27+1) 0 (0+0)
s cnf 1 (s cnf 1)
135 (134+1)
robots_1_5_2_94.9.qdimacs.gz 757 (755+2)
s cnf 1 (s cnf 1)
800 (799+1) 14 (14+0)
s cnf 1 (s cnf 1)
27 (25+2) 0 (0+0)
s cnf 1 (s cnf 1)
111 (110+1)
robots_1_5_2_95.10.qdimacs.gz 800 (798+2) 800 (799+1) 23 (23+0)
s cnf 1 (s cnf 1)
27 (25+2) 0 (0+0)
s cnf 1 (s cnf 1)
104 (103+1)
robots_1_5_2_95.4.qdimacs.gz 31 (31+0)
s cnf 1 (s cnf 1)
55 (54+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
24 (23+1) 0 (0+0)
s cnf 1 (s cnf 1)
338 (337+1)
robots_1_5_2_95.5.qdimacs.gz 57 (56+0)
s cnf 1 (s cnf 1)
96 (96+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
58 (56+2) 0 (0+0)
s cnf 1 (s cnf 1)
130 (129+1)
robots_1_5_2_95.6.qdimacs.gz 96 (95+1)
s cnf 1 (s cnf 1)
199 (199+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
33 (31+2) 0 (0+0)
s cnf 1 (s cnf 1)
93 (92+1)
robots_1_5_2_95.7.qdimacs.gz 235 (234+1)
s cnf 1 (s cnf 1)
392 (391+1)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
100 (99+1)
robots_1_5_2_95.8.qdimacs.gz 362 (360+1)
s cnf 1 (s cnf 1)
800 (799+1) 15 (15+0)
s cnf 1 (s cnf 1)
29 (28+2) 0 (0+0)
s cnf 1 (s cnf 1)
116 (115+1)
robots_1_5_2_95.9.qdimacs.gz 695 (693+2)
s cnf 1 (s cnf 1)
800 (799+1) 35 (35+0)
s cnf 1 (s cnf 1)
34 (33+2) 0 (0+0)
s cnf 1 (s cnf 1)
137 (136+1)
robots_1_5_2_96.10.qdimacs.gz 800 (798+2) 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
35 (34+2) 2 (2+0)
s cnf 0 (s cnf 0)
135 (134+1)
robots_1_5_2_96.4.qdimacs.gz 37 (37+0)
s cnf 1 (s cnf 1)
69 (68+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
16 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
686 (684+1)
robots_1_5_2_96.5.qdimacs.gz 225 (224+1)
s cnf 1 (s cnf 1)
270 (269+1)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
20 (18+2) 0 (0+0)
s cnf 1 (s cnf 1)
86 (85+1)
robots_1_5_2_96.6.qdimacs.gz 612 (610+2)
s cnf 0 (s cnf 0)
229 (229+1)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
35 (33+2) 0 (0+0)
s cnf 0 (s cnf 0)
89 (88+1)
robots_1_5_2_96.7.qdimacs.gz 793 (791+2)
s cnf 0 (s cnf 0)
800 (799+1) 12 (12+0)
s cnf 0 (s cnf 0)
40 (38+2) 1 (1+0)
s cnf 0 (s cnf 0)
84 (83+1)
robots_1_5_2_96.8.qdimacs.gz 475 (473+2)
s cnf 0 (s cnf 0)
800 (799+1) 25 (25+0)
s cnf 0 (s cnf 0)
25 (23+2) 1 (1+0)
s cnf 0 (s cnf 0)
108 (107+1)
robots_1_5_2_96.9.qdimacs.gz 800 (798+2) 800 (799+1) 13 (13+0)
s cnf 0 (s cnf 0)
22 (20+2) 1 (1+0)
s cnf 0 (s cnf 0)
87 (86+1)
robots_1_5_2_97.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 28 (26+2) 257 (256+1)
s cnf 1 (s cnf 1)
111 (109+1)
robots_1_5_2_97.4.qdimacs.gz 57 (56+0)
s cnf 1 (s cnf 1)
68 (67+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
23 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
341 (340+1)
robots_1_5_2_97.5.qdimacs.gz 215 (214+1)
s cnf 1 (s cnf 1)
364 (363+1)
s cnf 1 (s cnf 1)
11 (10+0)
s cnf 1 (s cnf 1)
25 (24+1) 0 (0+0)
s cnf 1 (s cnf 1)
114 (112+1)
robots_1_5_2_97.6.qdimacs.gz 800 (798+2) 800 (799+1) 23 (23+0)
s cnf 1 (s cnf 1)
21 (19+2) 1 (1+0)
s cnf 1 (s cnf 1)
80 (79+1)
robots_1_5_2_97.7.qdimacs.gz 800 (798+2) 800 (799+1) 213 (213+0)
s cnf 1 (s cnf 1)
22 (20+2) 4 (4+0)
s cnf 1 (s cnf 1)
101 (99+1)
robots_1_5_2_97.8.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 28 (27+2) 19 (19+0)
s cnf 1 (s cnf 1)
125 (123+1)
robots_1_5_2_97.9.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 22 (20+2) 85 (84+0)
s cnf 1 (s cnf 1)
117 (116+1)
robots_1_5_2_98.10.qdimacs.gz 800 (798+2) 800 (799+1) 400 (400+0)
s cnf 0 (s cnf 0)
23 (21+2) 2 (2+0)
s cnf 0 (s cnf 0)
108 (106+1)
robots_1_5_2_98.4.qdimacs.gz 46 (45+0)
s cnf 1 (s cnf 1)
59 (58+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
17 (16+1) 0 (0+0)
s cnf 1 (s cnf 1)
231 (230+1)
robots_1_5_2_98.5.qdimacs.gz 204 (203+1)
s cnf 1 (s cnf 1)
292 (291+1)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
30 (28+2) 0 (0+0)
s cnf 1 (s cnf 1)
275 (274+1)
robots_1_5_2_98.6.qdimacs.gz 736 (734+2) 800 (799+1) 12 (12+0)
s cnf 1 (s cnf 1)
22 (20+2) 1 (1+0)
s cnf 1 (s cnf 1)
91 (90+1)
robots_1_5_2_98.7.qdimacs.gz 800 (798+2) 800 (799+1) 49 (48+0)
s cnf 0 (s cnf 0)
46 (45+2) 2 (2+0)
s cnf 0 (s cnf 0)
89 (87+1)
robots_1_5_2_98.8.qdimacs.gz 800 (798+2) 800 (799+1) 81 (81+0)
s cnf 0 (s cnf 0)
28 (26+2) 3 (3+0)
s cnf 0 (s cnf 0)
132 (131+1)
robots_1_5_2_98.9.qdimacs.gz 800 (798+2) 800 (799+1) 82 (82+0)
s cnf 0 (s cnf 0)
27 (25+2) 2 (2+0)
s cnf 0 (s cnf 0)
105 (104+1)
robots_1_5_2_99.10.qdimacs.gz 800 (798+2) 800 (799+1) 275 (275+0)
s cnf 0 (s cnf 0)
47 (45+2) 2 (2+0)
s cnf 0 (s cnf 0)
87 (85+1)
robots_1_5_2_99.4.qdimacs.gz 46 (45+0)
s cnf 1 (s cnf 1)
76 (76+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
29 (28+2) 0 (0+0)
s cnf 1 (s cnf 1)
368 (367+1)
robots_1_5_2_99.5.qdimacs.gz 307 (306+1)
s cnf 1 (s cnf 1)
361 (361+1)
s cnf 1 (s cnf 1)
11 (11+0)
s cnf 1 (s cnf 1)
25 (24+2) 1 (1+0)
s cnf 1 (s cnf 1)
140 (139+1)
robots_1_5_2_99.6.qdimacs.gz 800 (798+2) 800 (799+1) 7 (7+0)
s cnf 0 (s cnf 0)
24 (22+2) 0 (0+0)
s cnf 0 (s cnf 0)
87 (86+1)
robots_1_5_2_99.7.qdimacs.gz 232 (230+1)
s cnf 0 (s cnf 0)
800 (799+1) 17 (17+0)
s cnf 0 (s cnf 0)
21 (20+2) 1 (1+0)
s cnf 0 (s cnf 0)
87 (86+1)
robots_1_5_2_99.8.qdimacs.gz 800 (798+2) 800 (799+1) 52 (52+0)
s cnf 0 (s cnf 0)
29 (27+2) 4 (4+0)
s cnf 0 (s cnf 0)
100 (99+1)
robots_1_5_2_99.9.qdimacs.gz 800 (798+2) 800 (799+1) 115 (115+0)
s cnf 0 (s cnf 0)
30 (28+2) 1 (1+0)
s cnf 0 (s cnf 0)
148 (147+1)
TOTAL solved: 350
wins: 0
solved: 271
wins: 0
solved: 630
wins: 13
solved: 0
wins: 0
solved: 699
wins: 699
solved: 30
wins: 0
RobotsD2_gq.ts RobotsD2_gqc.ts RobotsD2_nq72.ts RobotsD2_quantor.ts RobotsD2_rareqsuuh3pb.ts RobotsD2_znenofex.ts