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