sci.jeuri101.libraries - Revision 1238: /GuardedRewriting/trunk/performance/prof

• ..
• TestGen-Arith.prof
• TestGen-DNF1.prof
• TestGen-DNF2.prof
• TestGen-DNF3.prof
• TestGen-DNF4.prof
• TestPM-Arith.prof
• TestPM-DNF1.prof
• TestPM-DNF2.prof
• TestPM-DNF3.prof
• TestPM-DNF4.prof
• TestUni-DNF1.prof
• TestUni-DNF2.prof
• TestUni-DNF3.prof
• TestUni-DNF4.prof