updated conformant planning benchmark with simplified encoding (one object only)