# ruleLines atoms namesForAtoms bPlusLines bMinusLines models answerSets filename atom_names
4 5 5 0 0 1 3 realchoice1.lparse f g d a c
0 0 0 0 0 1 0 empty.lparse
9 10 10 0 0 1 2 usualcases.lparse p g e f d a b c i h
9 10 10 0 1 1 1 usualcases-i-false.lparse p g e f d a b c i h
9 10 10 1 0 1 1 usualcases-i-true.lparse p g e f d a b c i h
9 10 10 1 1 1 0 usualcases-i-both.lparse p g e f d a b c i h
17 13 13 0 0 1 2 ham_comp_3.lparse f a(v3,v1) a(v2,v1) a(v3,v2) v(v3) a(v2,v3) v(v2) a(v1,v3) a(v1,v2) v(v1) f(v3) f(v2) f(v1)
30 21 21 0 0 1 6 ham_comp_4.lparse f(v4) v(v4) f(v3) v(v3) f(v2) v(v2) f(v1) v(v1) a(v4,v2) a(v4,v1) a(v4,v3) a(v3,v2) a(v3,v1) a(v3,v4) a(v2,v3) a(v2,v1) a(v2,v4) a(v1,v3) a(v1,v2) a(v1,v4) f
47 31 31 0 0 1 24 ham_comp_5.lparse f a(v5,v1) a(v4,v1) a(v3,v1) a(v2,v1) a(v5,v4) a(v5,v3) a(v5,v2) v(v5) a(v4,v5) a(v4,v3) a(v4,v2) v(v4) a(v3,v5) a(v3,v4) a(v3,v2) v(v3) a(v2,v5) a(v2,v4) a(v2,v3) v(v2) a(v1,v5) a(v1,v4) a(v1,v3) a(v1,v2) v(v1) f(v5) f(v4) f(v3) f(v2) f(v1)
93 57 57 0 0 1 720 ham_comp_7.lparse f(v7) v(v7) f(v6) v(v6) f(v5) v(v5) f(v4) v(v4) f(v3) v(v3) f(v2) v(v2) f(v1) v(v1) a(v7,v5) a(v7,v4) a(v7,v3) a(v7,v2) a(v7,v1) a(v7,v6) a(v6,v5) a(v6,v4) a(v6,v3) a(v6,v2) a(v6,v1) a(v6,v7) a(v5,v6) a(v5,v4) a(v5,v3) a(v5,v2) a(v5,v1) a(v5,v7) a(v4,v6) a(v4,v5) a(v4,v3) a(v4,v2) a(v4,v1) a(v4,v7) a(v3,v6) a(v3,v5) a(v3,v4) a(v3,v2) a(v3,v1) a(v3,v7) a(v2,v6) a(v2,v5) a(v2,v4) a(v2,v3) a(v2,v1) a(v2,v7) a(v1,v6) a(v1,v5) a(v1,v4) a(v1,v3) a(v1,v2) a(v1,v7) f
84 58 41 0 1 1 6 color-3-4.lparse vertex(0) vertex(1) vertex(2) vertex(3) vtx(3) vtx(2) vtx(1) vtx(0) arc(0,1) arc(0,2) arc(0,3) arc(1,0) arc(1,2) arc(1,3) arc(2,0) arc(2,1) arc(3,0) edge(3,0) edge(2,1) edge(2,0) edge(1,3) edge(1,2) edge(1,0) edge(0,3) edge(0,2) edge(0,1) clr(1) clr(2) clr(3) clrd(3,1) clrd(0,1) clrd(2,1) clrd(1,1) clrd(3,2) clrd(0,2) clrd(2,2) clrd(1,2) clrd(3,3) clrd(0,3) clrd(2,3) clrd(1,3)
106 35 35 0 0 1 24 pigeon-3-4.lparse hole(1) hole(2) hole(3) hole(4) pigeon(1) pigeon(2) pigeon(3) negpos(1,1) pos(1,1) negpos(1,2) pos(1,2) negpos(1,3) pos(1,3) negpos(1,4) pos(1,4) negpos(2,1) pos(2,1) negpos(2,2) pos(2,2) negpos(2,3) pos(2,3) negpos(2,4) pos(2,4) negpos(3,1) pos(3,1) negpos(3,2) pos(3,2) negpos(3,3) pos(3,3) negpos(3,4) pos(3,4) hashole(1) hashole(2) hashole(3) newfalse
72 45 32 0 1 1 3 schur-3-3.lparse number(1) number(2) number(3) part(1) part(2) part(3) inpart(1,1) inpart(2,1) inpart(4,1) inpart(3,1) inpart(6,1) inpart(1,2) inpart(2,2) inpart(4,2) inpart(3,2) inpart(6,2) inpart(1,3) inpart(2,3) inpart(4,3) inpart(3,3) inpart(6,3) inpart(5,1) inpart(5,2) inpart(5,3) occupied(1,1) occupied(2,1) occupied(3,1) occupied(1,2) occupied(2,2) occupied(3,2) occupied(2,3) occupied(3,3)
2 3 2 0 1 1 0 no_wfm.lparse a c
115 51 29 0 1 0 10 5queens.lparse d(1) d(2) d(3) d(4) d(5) q(1,5) q(1,4) q(1,3) q(1,2) q(1,1) q(2,5) q(2,4) q(2,3) q(2,2) q(2,1) q(3,5) q(3,4) q(3,3) q(3,2) q(3,1) q(4,5) q(4,4) q(4,3) q(4,2) q(4,1) q(5,5) q(5,4) q(5,3) q(5,2)
72 37 20 0 1 1 2 4queens.lparse d(1) d(2) d(3) d(4) q(1,4) q(1,3) q(1,2) q(1,1) q(2,4) q(2,3) q(2,2) q(2,1) q(3,4) q(3,3) q(3,2) q(3,1) q(4,4) q(4,3) q(4,2) q(4,1)
2 3 3 0 0 1 8 doublechoice.lparse a b c
1 2 2 0 0 1 2 choice_with_constraint_body.lparse a b
4 3 3 0 0 1 2 double_choice_a.lparse a j1 j2
5 4 3 0 1 1 3 one_of_three.lparse a b c