time fx8 -s -pr:02.query 03.query > 03.log; cp pruner-pruned.smt 03.smt
time fx8 -s -pr:03.query 04.query > 04.log; cp pruner-pruned.smt 04.smt
time fx8 -s -pr:04.query 05.query > 05.log; cp pruner-pruned.smt 05.smt
time fx8 -s -pr:05.query 06.query > 06.log; cp pruner-pruned.smt 06.smt
time fx8 -s -pr:06.query 07.query > 07.log; cp pruner-pruned.smt 07.smt
time fx8 -s -pr:07.query 08.query > 08.log; cp pruner-pruned.smt 08.smt
time fx8 -s -pr:08.query 09.query > 09.log; cp pruner-pruned.smt 09.smt
time fx8 -s -pr:09.query 10.query > 10.log; cp pruner-pruned.smt 10.smt
time fx8 -s -pr:10.query 11.query > 11.log; cp pruner-pruned.smt 11.smt
time fx8 -s -pr:11.query 12.query > 12.log; cp pruner-pruned.smt 12.smt
time fx8 -s -pr:12.query 13.query > 13.log; cp pruner-pruned.smt 13.smt
time fx8 -s -pr:13.query 14.query > 14.log; cp pruner-pruned.smt 14.smt
time fx8 -s -pr:14.query 15.query > 15.log; cp pruner-pruned.smt 15.smt