% clingo-2.0.3-win32.exe -n 0 two_inv.lp
Answer: 1
bv8(0) bv8(1) bv8(2) bv8(3) bv8(4) bv8(5) bv8(6) bv8(7) bv8(8) bv8(9) bv8(10) bv8(11) bv8(12) bv8(13) bv8(14) bv8(15) bv8(16) bv8(17) bv8(18) bv8(19) bv8(20) bv8(21) bv8(22) bv8(23) bv8(24) bv8(25) bv8(26) bv8(27) bv8(28) bv8(29) bv8(30) bv8(31) bv8(32) bv8(33) bv8(34) bv8(35) bv8(36) bv8(37) bv8(38) bv8(39) bv8(40) bv8(41) bv8(42) bv8(43) bv8(44) bv8(45) bv8(46) bv8(47) bv8(48) bv8(49) bv8(50) bv8(51) bv8(52) bv8(53) bv8(54) bv8(55) bv8(56) bv8(57) bv8(58) bv8(59) bv8(60) bv8(61) bv8(62) bv8(63) bv8(64) bv8(65) bv8(66) bv8(67) bv8(68) bv8(69) bv8(70) bv8(71) bv8(72) bv8(73) bv8(74) bv8(75) bv8(76) bv8(77) bv8(78) bv8(79) bv8(80) bv8(81) bv8(82) bv8(83) bv8(84) bv8(85) bv8(86) bv8(87) bv8(88) bv8(89) bv8(90) bv8(91) bv8(92) bv8(93) bv8(94) bv8(95) bv8(96) bv8(97) bv8(98) bv8(99) bv8(100) bv8(101) bv8(102) bv8(103) bv8(104) bv8(105) bv8(106) bv8(107) bv8(108) bv8(109) bv8(110) bv8(111) bv8(112) bv8(113) bv8(114) bv8(115) bv8(116) bv8(117) bv8(118) bv8(119) bv8(120) bv8(121) bv8(122) bv8(123) bv8(124) bv8(125) bv8(126) bv8(127) bv8(128) bv8(129) bv8(130) bv8(131) bv8(132) bv8(133) bv8(134) bv8(135) bv8(136) bv8(137) bv8(138) bv8(139) bv8(140) bv8(141) bv8(142) bv8(143) bv8(144) bv8(145) bv8(146) bv8(147) bv8(148) bv8(149) bv8(150) bv8(151) bv8(152) bv8(153) bv8(154) bv8(155) bv8(156) bv8(157) bv8(158) bv8(159) bv8(160) bv8(161) bv8(162) bv8(163) bv8(164) bv8(165) bv8(166) bv8(167) bv8(168) bv8(169) bv8(170) bv8(171) bv8(172) bv8(173) bv8(174) bv8(175) bv8(176) bv8(177) bv8(178) bv8(179) bv8(180) bv8(181) bv8(182) bv8(183) bv8(184) bv8(185) bv8(186) bv8(187) bv8(188) bv8(189) bv8(190) bv8(191) bv8(192) bv8(193) bv8(194) bv8(195) bv8(196) bv8(197) bv8(198) bv8(199) bv8(200) bv8(201) bv8(202) bv8(203) bv8(204) bv8(205) bv8(206) bv8(207) bv8(208) bv8(209) bv8(210) bv8(211) bv8(212) bv8(213) bv8(214) bv8(215) bv8(216) bv8(217) bv8(218) bv8(219) bv8(220) bv8(221) bv8(222) bv8(223) bv8(224) bv8(225) bv8(226) bv8(227) bv8(228) bv8(229) bv8(230) bv8(231) bv8(232) bv8(233) bv8(234) bv8(235) bv8(236) bv8(237) bv8(238) bv8(239) bv8(240) bv8(241) bv8(242) bv8(243) bv8(244) bv8(245) bv8(246) bv8(247) bv8(248) bv8(249) bv8(250) bv8(251) bv8(252) bv8(253) bv8(254) bv8(255) p(15) p(51) p(85) inv(23) inv(105) p(0) p(1) p(2) p(3) p(4) p(5) p(6) p(7) p(8) p(9) p(10) p(11) p(12) p(13) p(14) p(16) p(17) p(18) p(19) p(20) p(21) p(22) p(23) p(24) p(25) p(26) p(27) p(28) p(29) p(30) p(31) p(32) p(33) p(34) p(35) p(36) p(37) p(38) p(39) p(40) p(41) p(42) p(43) p(44) p(45) p(46) p(47) p(48) p(49) p(50) p(52) p(53) p(54) p(55) p(56) p(57) p(58) p(59) p(60) p(61) p(62) p(63) p(64) p(65) p(66) p(67) p(68) p(69) p(70) p(71) p(72) p(73) p(74) p(75) p(76) p(77) p(78) p(79) p(80) p(81) p(82) p(83) p(84) p(86) p(87) p(88) p(89) p(90) p(91) p(92) p(93) p(94) p(95) p(96) p(97) p(98) p(99) p(100) p(101) p(102) p(103) p(104) p(105) p(106) p(107) p(108) p(109) p(110) p(111) p(112) p(113) p(114) p(115) p(116) p(117) p(118) p(119) p(120) p(121) p(122) p(123) p(124) p(125) p(126) p(127) p(128) p(129) p(130) p(131) p(132) p(133) p(134) p(135) p(136) p(137) p(138) p(139) p(140) p(141) p(142) p(143) p(144) p(145) p(146) p(147) p(148) p(149) p(150) p(151) p(152) p(153) p(154) p(155) p(156) p(157) p(158) p(159) p(160) p(161) p(162) p(163) p(164) p(165) p(166) p(167) p(168) p(169) p(170) p(171) p(172) p(173) p(174) p(175) p(176) p(177) p(178) p(179) p(180) p(181) p(182) p(183) p(184) p(185) p(186) p(187) p(188) p(189) p(190) p(191) p(192) p(193) p(194) p(195) p(196) p(197) p(198) p(199) p(200) p(201) p(202) p(203) p(204) p(205) p(206) p(207) p(208) p(209) p(210) p(211) p(212) p(213) p(214) p(215) p(216) p(217) p(218) p(219) p(220) p(221) p(222) p(223) p(224) p(225) p(226) p(227) p(228) p(229) p(230) p(231) p(232) p(233) p(234) p(235) p(236) p(237) p(238) p(239) p(240) p(241) p(242) p(243) p(244) p(245) p(246) p(247) p(248) p(249) p(250) p(251) p(252) p(253) p(254) p(255) 

Models      : 1     

Time        : 3.697 
%