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