Index of /tools/agcp/experiments/fscd17/problems55

• Parent Directory
• and-or.trs
• and-or.trs.log
• elimdup.trs
• elimdup.trs.log
• eq.trs
• eq.trs.log
• eq2.trs
• eq2.trs.log
• eq3.trs
• eq3.trs.log
• gncr.trs
• gncr.trs.log
• if1.trs
• if1.trs.log
• if2.trs
• if2.trs.log
• if3.trs
• if3.trs.log
• if4.trs
• if4.trs.log
• if5.trs
• if5.trs.log
• if6.trs
• if6.trs.log
• if7.trs
• if7.trs.log
• if8.trs
• if8.trs.log
• imply.trs
• imply.trs.log
• inc.trs
• inc.trs.log
• inc2.trs
• inc2.trs.log
• inc3.trs
• inc3.trs.log
• insert.trs
• insert.trs.log
• insert2.trs
• insert2.trs.log
• insert3.trs
• insert3.trs.log
• int1.trs
• int1.trs.log
• int2.trs
• int3.trs
• le-ge.trs
• le.trs
• le2.trs
• len-app.trs
• len-qrev.trs
• len-rev.trs
• len-round.trs
• len-round2.trs
• min-max.trs
• min-max2.trs
• min.trs
• min2.trs
• min3.trs
• min4.trs
• min5.trs
• minus.trs
• minus2.trs
• mirror.trs
• ordered.trs
• qplus.trs
• seteq.trs
• seteq2.trs
• seteq3.trs
• seteq4.trs
• subseteq.trs
• tree1.trs
• tree2.trs
• tree3.trs
• tree4.trs
• tree5.trs
• tree6.trs