Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance body_69.lp

Name	body_69.lp
Classes	[Root]    Unclassified (3031)    GebserSuite (202)    Body (101)
Submitter	Martin Gebser
Author
Description
Created	2009-03-30 13:03
Modified	2008-11-29 00:08
Languages
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	x :- not x. x :- not a_1, not b_1. a_1 :- not b_1. b_1 :- not a_1. x :- not a_2, not b_2. a_2 :- not b_2. b_2 :- not a_2. x :- not a_3, not b_3. a_3 :- not b_3. b_3 :- not a_3. x :- not a_4, not b_4. a_4 :- not b_4. b_4 :- not a_4. x :- not a_5, not b_5. a_5 :- not b_5. b_5 :- not a_5. x :- not a_6, not b_6. a_6 :- not b_6. b_6 :- not a_6. x :- not a_7, not b_7. a_7 :- not b_7. b_7 :- not a_7. x :- not a_8, not b_8. a_8 :- not b_8. b_8 :- not a_8. x :- not a_9, not b_9. a_9 :- not b_9. b_9 :- not a_9. x :- not a_10, not b_10. a_10 :- not b_10. b_10 :- not a_10. x :- not a_11, not b_11. a_11 :- not b_11. b_11 :- not a_11. x :- not a_12, not b_12. a_12 :- not b_12. b_12 :- not a_12. x :- not a_13, not b_13. a_13 :- not b_13. b_13 :- not a_13. x :- not a_14, not b_14. a_14 :- not b_14. b_14 :- not a_14. x :- not a_15, not b_15. a_15 :- not b_15. b_15 :- not a_15. x :- not a_16, not b_16. a_16 :- not b_16. b_16 :- not a_16. x :- not a_17, not b_17. a_17 :- not b_17. b_17 :- not a_17. x :- not a_18, not b_18. a_18 :- not b_18. b_18 :- not a_18. x :- not a_19, not b_19. a_19 :- not b_19. b_19 :- not a_19. x :- not a_20, not b_20. a_20 :- not b_20. b_20 :- not a_20. x :- not a_21, not b_21. a_21 :- not b_21. b_21 :- not a_21. x :- not a_22, not b_22. a_22 :- not b_22. b_22 :- not a_22. x :- not a_23, not b_23. a_23 :- not b_23. b_23 :- not a_23. x :- not a_24, not b_24. a_24 :- not b_24. b_24 :- not a_24. x :- not a_25, not b_25. a_25 :- not b_25. b_25 :- not a_25. x :- not a_26, not b_26. a_26 :- not b_26. b_26 :- not a_26. x :- not a_27, not b_27. a_27 :- not b_27. b_27 :- not a_27. x :- not a_28, not b_28. a_28 :- not b_28. b_28 :- not a_28. x :- not a_29, not b_29. a_29 :- not b_29. b_29 :- not a_29. x :- not a_30, not b_30. a_30 :- not b_30. b_30 :- not a_30. x :- not a_31, not b_31. a_31 :- not b_31. b_31 :- not a_31. x :- not a_32, not b_32. a_32 :- not b_32. b_32 :- not a_32. x :- not a_33, not b_33. a_33 :- not b_33. b_33 :- not a_33. x :- not a_34, not b_34. a_34 :- not b_34. b_34 :- not a_34. x :- not a_35, not b_35. a_35 :- not b_35. b_35 :- not a_35. x :- not a_36, not b_36. a_36 :- not b_36. b_36 :- not a_36. x :- not a_37, not b_37. a_37 :- not b_37. b_37 :- not a_37. x :- not a_38, not b_38. a_38 :- not b_38. b_38 :- not a_38. x :- not a_39, not b_39. a_39 :- not b_39. b_39 :- not a_39. x :- not a_40, not b_40. a_40 :- not b_40. b_40 :- not a_40. x :- not a_41, not b_41. a_41 :- not b_41. b_41 :- not a_41. x :- not a_42, not b_42. a_42 :- not b_42. b_42 :- not a_42. x :- not a_43, not b_43. a_43 :- not b_43. b_43 :- not a_43. x :- not a_44, not b_44. a_44 :- not b_44. b_44 :- not a_44. x :- not a_45, not b_45. a_45 :- not b_45. b_45 :- not a_45. x :- not a_46, not b_46. a_46 :- not b_46. b_46 :- not a_46. x :- not a_47, not b_47. a_47 :- not b_47. b_47 :- not a_47. x :- not a_48, not b_48. a_48 :- not b_48. b_48 :- not a_48. x :- not a_49, not b_49. a_49 :- not b_49. b_49 :- not a_49. x :- not a_50, not b_50. a_50 :- not b_50. b_50 :- not a_50. x :- not a_51, not b_51. a_51 :- not b_51. b_51 :- not a_51. x :- not a_52, not b_52. a_52 :- not b_52. b_52 :- not a_52. x :- not a_53, not b_53. a_53 :- not b_53. b_53 :- not a_53. x :- not a_54, not b_54. a_54 :- not b_54. b_54 :- not a_54. x :- not a_55, not b_55. a_55 :- not b_55. b_55 :- not a_55. x :- not a_56, not b_56. a_56 :- not b_56. b_56 :- not a_56. x :- not a_57, not b_57. a_57 :- not b_57. b_57 :- not a_57. x :- not a_58, not b_58. a_58 :- not b_58. b_58 :- not a_58. x :- not a_59, not b_59. a_59 :- not b_59. b_59 :- not a_59. x :- not a_60, not b_60. a_60 :- not b_60. b_60 :- not a_60. x :- not a_61, not b_61. a_61 :- not b_61. b_61 :- not a_61. x :- not a_62, not b_62. a_62 :- not b_62. b_62 :- not a_62. x :- not a_63, not b_63. a_63 :- not b_63. b_63 :- not a_63. x :- not a_64, not b_64. a_64 :- not b_64. b_64 :- not a_64. x :- not a_65, not b_65. a_65 :- not b_65. b_65 :- not a_65. x :- not a_66, not b_66. a_66 :- not b_66. b_66 :- not a_66. x :- not a_67, not b_67. a_67 :- not b_67. b_67 :- not a_67. x :- not a_68, not b_68. a_68 :- not b_68. b_68 :- not a_68. x :- not a_69, not b_69. a_69 :- not b_69. b_69 :- not a_69.