/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile1 pfile1.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile2 pfile2.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile3 pfile3.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile4 pfile4.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile5 pfile5.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile6 pfile6.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile7 pfile7.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile8 pfile8.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile9 pfile9.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile10 pfile10.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile11 pfile11.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile12 pfile12.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile13 pfile13.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile14 pfile14.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile15 pfile15.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile16 pfile16.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile17 pfile17.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile18 pfile18.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile19 pfile19.soln
/home/IPC3/Validator/validate -t 0.001 ../zenotravelStrips.pddl pfile20 pfile20.soln
