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