all-queries-sql.txt

sat,long,small,SELECT * from small x0, small x1, small x2, small x3, small x4, small x5, small x6, small x7, small x8, small x9, small x10, small x11, small x12, small x13, small x14, small x15 WHERE x9.start < x6.start and x9.finish > x6.start and x9.finish < x6.finish and x1.start < x15.start and x1.finish > x15.finish and x1.start < x14.start and x1.finish > x14.start and x1.finish < x14.finish and x4.start < x3.start and x4.finish = x3.finish and x7.finish = x1.start and x0.start > x8.start and x0.finish = x8.finish and x8.start = x3.start and x8.finish = x3.finish and x5.start = x9.start and x5.finish > x9.finish and x15.finish < x8.start and x6.start = x1.finish and x14.start = x12.start and x14.finish > x12.finish and x14.start > x2.start and x14.start < x2.finish and x14.finish > x2.finish and x9.start > x10.start and x9.finish < x10.finish and x6.finish = x4.start and x13.start > x2.start and x13.finish = x2.finish and x5.start = x11.start and x5.finish < x11.finish
sat,long,medium,SELECT * from medium x0, medium x1, medium x2, medium x3, medium x4, medium x5, medium x6, medium x7, medium x8, medium x9, medium x10, medium x11, medium x12, medium x13, medium x14, medium x15 WHERE x9.start < x6.start and x9.finish > x6.start and x9.finish < x6.finish and x1.start < x15.start and x1.finish > x15.finish and x1.start < x14.start and x1.finish > x14.start and x1.finish < x14.finish and x4.start < x3.start and x4.finish = x3.finish and x7.finish = x1.start and x0.start > x8.start and x0.finish = x8.finish and x8.start = x3.start and x8.finish = x3.finish and x5.start = x9.start and x5.finish > x9.finish and x15.finish < x8.start and x6.start = x1.finish and x14.start = x12.start and x14.finish > x12.finish and x14.start > x2.start and x14.start < x2.finish and x14.finish > x2.finish and x9.start > x10.start and x9.finish < x10.finish and x6.finish = x4.start and x13.start > x2.start and x13.finish = x2.finish and x5.start = x11.start and x5.finish < x11.finish
sat,long,large,SELECT * from large x0, large x1, large x2, large x3, large x4, large x5, large x6, large x7, large x8, large x9, large x10, large x11, large x12, large x13, large x14, large x15 WHERE x9.start < x6.start and x9.finish > x6.start and x9.finish < x6.finish and x1.start < x15.start and x1.finish > x15.finish and x1.start < x14.start and x1.finish > x14.start and x1.finish < x14.finish and x4.start < x3.start and x4.finish = x3.finish and x7.finish = x1.start and x0.start > x8.start and x0.finish = x8.finish and x8.start = x3.start and x8.finish = x3.finish and x5.start = x9.start and x5.finish > x9.finish and x15.finish < x8.start and x6.start = x1.finish and x14.start = x12.start and x14.finish > x12.finish and x14.start > x2.start and x14.start < x2.finish and x14.finish > x2.finish and x9.start > x10.start and x9.finish < x10.finish and x6.finish = x4.start and x13.start > x2.start and x13.finish = x2.finish and x5.start = x11.start and x5.finish < x11.finish
sat,medium,small,SELECT * from small x0, small x1, small x2, small x3, small x4, small x5, small x6, small x7 WHERE x5.start < x1.start and x5.finish > x1.start and x5.finish < x1.finish and x4.start > x2.finish and x5.start > x4.finish and x0.start = x6.start and x0.finish = x6.finish and x1.start < x6.start and x1.finish = x6.finish and x5.finish < x7.start and x7.start = x3.start and x7.finish < x3.finish and x7.start > x6.finish
sat,medium,medium,SELECT * from medium x0, medium x1, medium x2, medium x3, medium x4, medium x5, medium x6, medium x7 WHERE x5.start < x1.start and x5.finish > x1.start and x5.finish < x1.finish and x4.start > x2.finish and x5.start > x4.finish and x0.start = x6.start and x0.finish = x6.finish and x1.start < x6.start and x1.finish = x6.finish and x5.finish < x7.start and x7.start = x3.start and x7.finish < x3.finish and x7.start > x6.finish
sat,medium,large,SELECT * from large x0, large x1, large x2, large x3, large x4, large x5, large x6, large x7 WHERE x5.start < x1.start and x5.finish > x1.start and x5.finish < x1.finish and x4.start > x2.finish and x5.start > x4.finish and x0.start = x6.start and x0.finish = x6.finish and x1.start < x6.start and x1.finish = x6.finish and x5.finish < x7.start and x7.start = x3.start and x7.finish < x3.finish and x7.start > x6.finish
sat,short,small,SELECT * from small x0, small x1 WHERE x1.start < x0.start and x1.finish > x0.finish
sat,short,medium,SELECT * from medium x0, medium x1 WHERE x1.start < x0.start and x1.finish > x0.finish
sat,short,large,SELECT * from large x0, large x1 WHERE x1.start < x0.start and x1.finish > x0.finish
unsat,long,small,SELECT * from small x0, small x1, small x2, small x3, small x4, small x5, small x6, small x7, small x8, small x9, small x10, small x11, small x12, small x13 WHERE x2.finish = x0.start and x7.start = x11.start and x7.finish = x11.finish and x4.start < x8.start and x4.finish > x8.start and x4.finish < x8.finish and x13.start < x5.start and x13.finish > x5.finish and x7.start > x0.start and x7.start < x0.finish and x7.finish > x0.finish and x6.start > x8.start and x6.finish = x8.finish and x1.start > x6.start and x1.finish = x6.finish and x3.start < x12.start and x3.finish > x12.finish and x7.start = x6.start and x7.finish < x6.finish and x9.start > x2.start and x9.start < x2.finish and x9.finish > x2.finish and x5.start = x7.start and x5.finish = x7.finish and x10.start > x7.start and x10.finish < x7.finish and x6.start < x8.start and x6.finish = x8.finish and x8.finish = x6.start and x0.start < x3.start and x0.finish = x3.finish and x3.finish = x13.start
unsat,long,medium,SELECT * from medium x0, medium x1, medium x2, medium x3, medium x4, medium x5, medium x6, medium x7, medium x8, medium x9, medium x10, medium x11, medium x12, medium x13 WHERE x2.finish = x0.start and x7.start = x11.start and x7.finish = x11.finish and x4.start < x8.start and x4.finish > x8.start and x4.finish < x8.finish and x13.start < x5.start and x13.finish > x5.finish and x7.start > x0.start and x7.start < x0.finish and x7.finish > x0.finish and x6.start > x8.start and x6.finish = x8.finish and x1.start > x6.start and x1.finish = x6.finish and x3.start < x12.start and x3.finish > x12.finish and x7.start = x6.start and x7.finish < x6.finish and x9.start > x2.start and x9.start < x2.finish and x9.finish > x2.finish and x5.start = x7.start and x5.finish = x7.finish and x10.start > x7.start and x10.finish < x7.finish and x6.start < x8.start and x6.finish = x8.finish and x8.finish = x6.start and x0.start < x3.start and x0.finish = x3.finish and x3.finish = x13.start
unsat,long,large,SELECT * from large x0, large x1, large x2, large x3, large x4, large x5, large x6, large x7, large x8, large x9, large x10, large x11, large x12, large x13 WHERE x2.finish = x0.start and x7.start = x11.start and x7.finish = x11.finish and x4.start < x8.start and x4.finish > x8.start and x4.finish < x8.finish and x13.start < x5.start and x13.finish > x5.finish and x7.start > x0.start and x7.start < x0.finish and x7.finish > x0.finish and x6.start > x8.start and x6.finish = x8.finish and x1.start > x6.start and x1.finish = x6.finish and x3.start < x12.start and x3.finish > x12.finish and x7.start = x6.start and x7.finish < x6.finish and x9.start > x2.start and x9.start < x2.finish and x9.finish > x2.finish and x5.start = x7.start and x5.finish = x7.finish and x10.start > x7.start and x10.finish < x7.finish and x6.start < x8.start and x6.finish = x8.finish and x8.finish = x6.start and x0.start < x3.start and x0.finish = x3.finish and x3.finish = x13.start
unsat,medium,small,SELECT * from small x0, small x1, small x2, small x3, small x4, small x5, small x6, small x7 WHERE x1.finish < x4.start and x0.start = x7.finish and x7.start < x5.start and x7.finish = x5.finish and x5.finish < x0.start and x2.start > x5.start and x2.start < x5.finish and x2.finish > x5.finish and x4.start = x1.finish and x6.start < x3.start and x6.finish > x3.finish and x1.start < x6.start and x1.finish = x6.finish
unsat,medium,medium,SELECT * from medium x0, medium x1, medium x2, medium x3, medium x4, medium x5, medium x6, medium x7 WHERE x1.finish < x4.start and x0.start = x7.finish and x7.start < x5.start and x7.finish = x5.finish and x5.finish < x0.start and x2.start > x5.start and x2.start < x5.finish and x2.finish > x5.finish and x4.start = x1.finish and x6.start < x3.start and x6.finish > x3.finish and x1.start < x6.start and x1.finish = x6.finish
unsat,medium,large,SELECT * from large x0, large x1, large x2, large x3, large x4, large x5, large x6, large x7 WHERE x1.finish < x4.start and x0.start = x7.finish and x7.start < x5.start and x7.finish = x5.finish and x5.finish < x0.start and x2.start > x5.start and x2.start < x5.finish and x2.finish > x5.finish and x4.start = x1.finish and x6.start < x3.start and x6.finish > x3.finish and x1.start < x6.start and x1.finish = x6.finish
unsat,short,small,SELECT * from small x0, small x1 WHERE x1.start > x0.start and x1.finish = x0.finish and x0.start > x1.start and x0.finish < x1.finish
unsat,short,medium,SELECT * from medium x0, medium x1 WHERE x1.start > x0.start and x1.finish = x0.finish and x0.start > x1.start and x0.finish < x1.finish
unsat,short,large,SELECT * from large x0, large x1 WHERE x1.start > x0.start and x1.finish = x0.finish and x0.start > x1.start and x0.finish < x1.finish