Problem tipdiam_gq.ts tipdiam_gqc.ts tipdiam_nq72.ts tipdiam_quantor.ts tipdiam_rareqsuuh3pb.ts tipdiam_znenofex.ts
cmu.dme1.B-d4.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1 708 5802)
cmu.dme2.B-d3.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 467 5054)
cmu.dme2.B-d4.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
8 (6+3)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
145 (143+2)
cmu.gigamax.B-d2.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
161 (150+11)
s cnf 1 (s TRUE)
2 (2+0)
s cnf 1 (s cnf 1)
260 (258+2)
cmu.gigamax.B-d3.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (799+1) 238 (236+2) 800 (792+8) 305 (302+3)
cmu.gigamax.B-d4.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 14 (12+2) 800 (792+9) 327 (325+3)
eijk.S1196.S-d2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
6 (4+2)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
23 (21+2)
eijk.S1196.S-d3.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
800 (800+0) 12 (11+2) 2 (2+0)
s cnf 0 (s cnf 0)
67 (65+2)
eijk.S1196.S-d4.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
800 (800+0) 11 (10+2) 17 (17+0)
s cnf 0 (s cnf 0)
124 (121+2)
eijk.S1238.S-d2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
14 (12+2)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
58 (56+2)
eijk.S1238.S-d3.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
231 (230+0)
s cnf 0 (s cnf 0)
12 (10+2) 3 (3+0)
s cnf 0 (s cnf 0)
79 (77+2)
eijk.S1238.S-d4.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
800 (800+0) 11 (9+2) 214 (212+2)
s cnf 0 (s cnf 0)
126 (124+2)
eijk.S1423.S-d3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
10 (8+2) 1 (1+0)
s cnf 1 (s cnf 1)
44 (42+2)
eijk.S1423.S-d4.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (1+0)
s cnf 1 (s cnf 1)
800 (800+0) 13 (12+2) 800 (797+3) 104 (101+3)
eijk.S344.S-d3.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
16 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
40 (38+2)
eijk.S344.S-d4.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
10 (8+2) 0 (0+0)
s cnf 1 (s cnf 1)
50 (48+2)
eijk.S349.S-d3.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
16 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
71 (69+2)
eijk.S349.S-d4.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (0+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
10 (8+2) 0 (0+0)
s cnf 1 (s cnf 1)
55 (53+2)
eijk.S386.S-d4.qdimacs.gz 1 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
15 (14+1)
s cnf 1 (s cnf 1 451 3185)
eijk.S641.S-d4.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+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)
49 (47+2)
eijk.S713.S-d4.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+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)
38 (36+2)
eijk.S820.S-d3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
1 (0+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1 488 4181)
eijk.S820.S-d4.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
1 (1+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)
80 (78+2)
eijk.S832.S-d3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1 497 4177)
eijk.S832.S-d4.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
23 (21+2) 0 (0+0)
s cnf 1 (s cnf 1)
59 (57+2)
eijk.bs1512.S-d2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
47 (30+16)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
41 (39+2)
eijk.bs1512.S-d3.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
800 (800+0) 12 (10+2) 78 (78+1)
s cnf 1 (s cnf 1)
129 (127+3)
eijk.bs1512.S-d4.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (0+0)
s cnf 1 (s cnf 1)
800 (800+0) 13 (12+2) 800 (795+5) 159 (156+3)
eijk.bs3330.S-d3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (800+0) 18 (16+2) 800 (796+4) 119 (116+2)
eijk.bs3330.S-d4.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (797+3) 250 (246+3)
eijk.bs4863.S-d2.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (795+5) 118 (116+2)
eijk.bs4863.S-d3.qdimacs.gz 8 (8+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
800 (799+1) 15 (13+2) 800 (796+4) 324 (321+4)
eijk.bs4863.S-d4.qdimacs.gz 25 (24+1)
s cnf 1 (s cnf 1)
21 (20+1)
s cnf 1 (s cnf 1)
800 (799+1) 14 (13+2) 800 (797+3) 284 (281+3)
eijk.bs6669.S-d3.qdimacs.gz 6 (5+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 11 (10+2) 800 (797+4) 154 (152+3)
eijk.bs6669.S-d4.qdimacs.gz 30 (28+1)
s cnf 1 (s cnf 1)
20 (18+1)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 800 (796+4) 350 (346+3)
irst.dme4.B-d2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1 399 4158)
irst.dme4.B-d3.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
75 (56+19) 0 (0+0)
s cnf 1 (s cnf 1)
154 (152+2)
irst.dme4.B-d4.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
17 (15+2) 0 (0+0)
s cnf 1 (s cnf 1)
163 (160+3)
irst.dme5.B-d2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
3 (2+1)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
13 (13+0)
s cnf 1 (s cnf 1 564 6932)
irst.dme5.B-d3.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
66 (65+2) 0 (0+0)
s cnf 1 (s cnf 1)
109 (107+2)
irst.dme5.B-d4.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
25 (23+1) 0 (0+0)
s cnf 1 (s cnf 1)
254 (251+3)
irst.dme6.B-d2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
11 (8+4)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
91 (89+2)
s cnf 1 (s cnf 1 521 5197)
irst.dme6.B-d3.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
53 (51+2) 0 (0+0)
s cnf 1 (s cnf 1)
183 (181+3)
irst.dme6.B-d4.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
53 (51+2) 0 (0+0)
s cnf 1 (s cnf 1)
368 (364+4)
ken.flash^01.C-d2.qdimacs.gz 800 (800+0) 800 (800+0) 517 (517+0)
s cnf 0 (s cnf 0)
101 (99+2) 800 (795+5) 292 (290+2)
ken.flash^01.C-d3.qdimacs.gz 800 (800+0) 800 (800+1) 800 (800+0) 15 (14+2) 800 (793+7) 366 (363+3)
ken.flash^01.C-d4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+1) 18 (16+2) 800 (794+6) 404 (401+3)
ken.flash^02.C-d2.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 69 344)
ken.flash^02.C-d3.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
6 (5+0)
s cnf 1 (s cnf 1)
800 (799+1) 15 (13+2) 800 (793+7) 560 (557+3)
ken.flash^02.C-d4.qdimacs.gz 9 (9+0)
s cnf 1 (s cnf 1)
10 (10+0)
s cnf 1 (s cnf 1)
800 (799+1) 17 (15+2) 800 (793+7) 282 (278+4)
ken.flash^03.C-d2.qdimacs.gz 39 (39+0)
s cnf 0 (s cnf 0)
244 (243+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
224 (223+1)
s cnf 0 (s FALSE)
35 (35+0)
s cnf 0 (s cnf 0)
783 (780+3)
ken.flash^03.C-d3.qdimacs.gz 72 (71+1)
s cnf 0 (s cnf 0)
399 (398+1)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 800 (795+5) 419 (415+4)
ken.flash^03.C-d4.qdimacs.gz 114 (113+1)
s cnf 0 (s cnf 0)
484 (483+1)
s cnf 0 (s cnf 0)
800 (799+1) 24 (21+2) 800 (793+7) 369 (367+2)
ken.flash^04.C-d2.qdimacs.gz 800 (800+0) 800 (800+0) 24 (24+0)
s cnf 0 (s cnf 0)
30 (28+2) 800 (795+5) 83 (81+2)
ken.flash^04.C-d3.qdimacs.gz 800 (800+0) 800 (800+0) 800 (800+0) 224 (221+2) 800 (794+6) 785 (782+2)
ken.flash^04.C-d4.qdimacs.gz 800 (800+1) 800 (800+1) 800 (800+1) 49 (45+3) 800 (794+6) 314 (311+3)
ken.flash^05.C-d2.qdimacs.gz 800 (800+1) 800 (799+1) 30 (30+0)
s cnf 0 (s cnf 0)
27 (24+3) 800 (799+1) 479 (476+2)
ken.flash^05.C-d3.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 43 (41+2) 800 (794+6) 389 (386+3)
ken.flash^05.C-d4.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 14 (12+2) 800 (792+8) 359 (355+4)
ken.flash^06.C-d3.qdimacs.gz 8 (8+0)
s cnf 0 (s cnf 0)
19 (19+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
28 (28+0)
s cnf 0 (s FALSE)
2 (2+0)
s cnf 0 (s cnf 0)
800 (799+1)
ken.flash^06.C-d4.qdimacs.gz 11 (11+0)
s cnf 0 (s cnf 0)
27 (27+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
10 (9+0)
s cnf 0 (s FALSE)
3 (3+0)
s cnf 0 (s cnf 0)
191 (190+0)
s cnf 0 (s cnf 0 315 3383)
ken.flash^07.C-d4.qdimacs.gz 800 (800+0) 800 (800+1) 800 (799+1) 33 (31+2) 800 (793+8) 767 (763+4)
ken.flash^08.C-d2.qdimacs.gz 800 (800+0) 800 (800+0) 319 (319+0)
s cnf 0 (s cnf 0)
239 (238+2) 800 (800+1) 526 (524+2)
ken.flash^08.C-d3.qdimacs.gz 800 (800+0) 800 (800+0) 800 (800+0) 19 (17+2) 800 (793+7) 396 (393+3)
ken.flash^08.C-d4.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 17 (15+2) 800 (796+4) 373 (370+2)
ken.flash^09.C-d2.qdimacs.gz 138 (138+1)
s cnf 0 (s cnf 0)
800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
109 (105+4) 410 (409+1)
s cnf 0 (s cnf 0)
411 (409+2)
ken.flash^09.C-d3.qdimacs.gz 228 (227+1)
s cnf 0 (s cnf 0)
800 (799+1) 800 (799+1) 17 (15+3) 800 (794+6) 800 (797+3)
ken.flash^09.C-d4.qdimacs.gz 352 (351+1)
s cnf 0 (s cnf 0)
800 (799+1) 800 (799+1) 11 (9+3) 800 (794+6) 530 (527+3)
ken.flash^10.C-d2.qdimacs.gz 126 (125+1)
s cnf 0 (s cnf 0)
800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
726 (724+2) 800 (793+7) 245 (242+3)
ken.flash^10.C-d3.qdimacs.gz 228 (227+1)
s cnf 0 (s cnf 0)
800 (799+1) 800 (800+0) 176 (173+3) 800 (795+5) 333 (331+2)
ken.flash^10.C-d4.qdimacs.gz 352 (350+1)
s cnf 0 (s cnf 0)
800 (799+1) 800 (799+1) 21 (18+2) 800 (793+7) 502 (499+3)
ken.flash^11.C-d2.qdimacs.gz 800 (799+1) 800 (799+1) 191 (191+0)
s cnf 0 (s cnf 0)
54 (51+3) 800 (798+2) 345 (343+2)
s cnf 0 (s cnf 0 406 3936)
ken.flash^11.C-d3.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 17 (15+2) 800 (796+4) 488 (485+3)
ken.flash^11.C-d4.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 16 (14+2) 800 (792+8) 457 (453+4)
ken.flash^12.C-d2.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
161 (157+4) 6 (6+0)
s cnf 1 (s cnf 1)
716 (713+3)
ken.flash^12.C-d3.qdimacs.gz 5 (5+0)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
800 (799+1) 18 (15+2) 800 (794+6) 253 (250+3)
ken.flash^12.C-d4.qdimacs.gz 14 (13+0)
s cnf 1 (s cnf 1)
23 (23+0)
s cnf 1 (s cnf 1)
800 (799+1) 20 (18+2) 800 (795+5) 265 (262+3)
ken.flash^14.C-d3.qdimacs.gz 25 (25+0)
s cnf 0 (s cnf 0)
76 (76+0)
s cnf 0 (s cnf 0)
800 (800+0) 259 (257+2) 800 (793+7) 339 (337+2)
ken.flash^14.C-d4.qdimacs.gz 36 (36+0)
s cnf 0 (s cnf 0)
94 (94+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
35 (33+2) 24 (24+0)
s cnf 0 (s cnf 0)
489 (485+3)
ken.oop^1.C-d2.qdimacs.gz 800 (800+0) 800 (800+0) 800 (800+0) 15 (13+3) 800 (798+2) 162 (160+2)
ken.oop^1.C-d3.qdimacs.gz 800 (800+0) 800 (800+1) 800 (800+0) 15 (13+2) 800 (792+8) 272 (270+2)
ken.oop^1.C-d4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (799+1) 23 (21+2) 800 (794+7) 354 (352+2)
ken.oop^2.C-d2.qdimacs.gz 800 (800+0) 800 (800+0) 800 (800+0) 14 (12+2) 800 (793+7) 318 (316+2)
ken.oop^2.C-d3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (799+1) 18 (15+2) 800 (791+9) 365 (363+2)
ken.oop^2.C-d4.qdimacs.gz 800 (800+1) 800 (799+1) 800 (799+1) 15 (13+2) 800 (792+8) 328 (326+2)
nusmv.brp.B-d4.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
162 (162+0)
s cnf 1 (s TRUE)
2 (2+0)
s cnf 1 (s cnf 1)
728 (726+2)
nusmv.dme1-16.B-d4.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
800 (800+0) 16 (14+2) 63 (62+1)
s cnf 1 (s cnf 1)
173 (170+3)
nusmv.dme2-16.B-d2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
39 (29+10)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
34 (32+2)
nusmv.dme2-16.B-d3.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
1 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
31 (28+2) 0 (0+0)
s cnf 1 (s cnf 1)
175 (172+2)
nusmv.dme2-16.B-d4.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
37 (35+2) 2 (2+0)
s cnf 1 (s cnf 1)
367 (363+3)
nusmv.guidance^1.C-d2.qdimacs.gz 3 (2+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
800 (799+1) 16 (14+2) 800 (795+5) 206 (204+3)
nusmv.guidance^1.C-d3.qdimacs.gz 9 (9+0)
s cnf 1 (s cnf 1)
22 (21+0)
s cnf 1 (s cnf 1)
800 (799+1) 18 (16+2) 800 (791+9) 338 (336+3)
nusmv.guidance^1.C-d4.qdimacs.gz 5 (5+0)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
800 (799+1) 16 (14+2) 800 (792+8) 288 (286+2)
nusmv.guidance^2.C-d3.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
22 (21+0)
s cnf 1 (s cnf 1)
800 (799+1) 33 (28+5) 800 (795+5) 288 (286+2)
nusmv.guidance^4.C-d3.qdimacs.gz 9 (9+0)
s cnf 1 (s cnf 1)
22 (22+0)
s cnf 1 (s cnf 1)
800 (799+1) 15 (13+2) 800 (794+6) 341 (339+2)
nusmv.guidance^5.C-d3.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
22 (21+0)
s cnf 1 (s cnf 1)
800 (799+1) 17 (15+2) 800 (792+8) 343 (340+3)
nusmv.guidance^6.C-d3.qdimacs.gz 9 (9+0)
s cnf 1 (s cnf 1)
22 (21+0)
s cnf 1 (s cnf 1)
800 (799+1) 16 (14+2) 800 (792+8) 292 (290+2)
nusmv.queue.B-d4.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (798+2) 17 (14+3) 489 (482+7) 305 (303+2)
nusmv.reactor^1.C-d4.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 15 (13+3) 800 (794+6) 584 (581+3)
nusmv.reactor^2.C-d3.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
188 (188+0)
s cnf 1 (s cnf 1)
36 (33+3) 1 (1+0)
s cnf 1 (s cnf 1)
51 (51+1)
s cnf 1 (s cnf 1 830 9094)
nusmv.reactor^2.C-d4.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 15 (13+2) 800 (794+6) 403 (400+3)
nusmv.reactor^3.C-d3.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
800 (800+0) 20 (17+2) 383 (381+2)
s cnf 1 (s cnf 1)
197 (195+2)
nusmv.reactor^3.C-d4.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 14 (12+2) 800 (794+6) 397 (394+3)
nusmv.reactor^4.C-d3.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
800 (799+1) 15 (13+2) 800 (794+6) 249 (247+2)
nusmv.reactor^4.C-d4.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 15 (13+2) 800 (794+6) 527 (524+2)
nusmv.reactor^5.C-d3.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
800 (799+1) 15 (13+2) 800 (795+5) 273 (270+2)
nusmv.reactor^5.C-d4.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 17 (14+2) 800 (794+6) 390 (388+3)
nusmv.tcas-t^1.B-d2.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
94 (93+0)
s cnf 1 (s cnf 1)
800 (799+1) 17 (15+2) 800 (790+10) 455 (453+2)
nusmv.tcas-t^1.B-d3.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
31 (30+0)
s cnf 1 (s cnf 1)
800 (798+2) 17 (15+2) 800 (790+10) 503 (500+2)
nusmv.tcas-t^1.B-d4.qdimacs.gz 14 (14+0)
s cnf 1 (s cnf 1)
92 (91+1)
s cnf 1 (s cnf 1)
800 (798+2) 16 (12+4) 800 (790+10) 493 (490+2)
nusmv.tcas^1.B-d2.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
12 (11+0)
s cnf 1 (s cnf 1)
800 (799+1) 13 (10+3) 800 (791+9) 331 (329+2)
nusmv.tcas^1.B-d3.qdimacs.gz 7 (7+0)
s cnf 1 (s cnf 1)
18 (17+0)
s cnf 1 (s cnf 1)
800 (798+2) 17 (15+3) 709 (701+8) 591 (588+3)
nusmv.tcas^1.B-d4.qdimacs.gz 10 (9+0)
s cnf 1 (s cnf 1)
36 (36+0)
s cnf 1 (s cnf 1)
800 (798+2) 16 (13+3) 528 (523+5) 637 (634+3)
vis.4-arbit^1.E-d3.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
30 (26+4) 0 (0+0)
s cnf 1 (s cnf 1)
81 (78+2)
vis.4-arbit^1.E-d4.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
8 (8+0)
s cnf 1 (s cnf 1)
15 (13+2) 0 (0+0)
s cnf 1 (s cnf 1)
74 (71+3)
vis.coherence^1.E-d4.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
18 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
34 (32+2)
vis.elevator^1.E-d3.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
21 (18+2) 0 (0+0)
s cnf 1 (s cnf 1)
129 (127+2)
vis.elevator^1.E-d4.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (800+0) 16 (14+3) 330 (328+2)
s cnf 1 (s cnf 1)
126 (124+3)
vis.emodel.E-d3.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
2 (1+1)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
31 (30+1)
s cnf 1 (s cnf 1 328 2845)
vis.emodel.E-d4.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 0 (0+0)
s cnf 1 (s cnf 1)
50 (48+2)
vis.prodcell^01.E-d3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 43 269)
TOTAL solved: 99
wins: 68
solved: 93
wins: 54
solved: 54
wins: 43
solved: 21
wins: 6
solved: 55
wins: 37
solved: 14
wins: 3
tipdiam_gq.ts tipdiam_gqc.ts tipdiam_nq72.ts tipdiam_quantor.ts tipdiam_rareqsuuh3pb.ts tipdiam_znenofex.ts