rm -f new-*.pddl bad-*.pddl
./contingent-options.sh bug-t0cont/colorballs4-2.tar-dir/d.pddl  bug-t0cont/colorballs4-2.tar-dir/p.pddl $1 > bad
for i in d p; do mv new-$i.pddl bad-$i.pddl; done
./contingent-options-old.sh bug-t0cont/colorballs4-2.tar-dir/d.pddl  bug-t0cont/colorballs4-2.tar-dir/p.pddl $1 > ok
