# ruleLines atoms atomNames bPlusLines bMinusLines models answerSets filename atom_names
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)
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)