/Arthan1.tptp/1.4/Thu Sep 22 15:05:46 2011//
/Arthan1A.tptp/1.2/Thu Sep 22 15:05:46 2011//
/Arthan1B.tptp/1.2/Thu Sep 22 15:05:46 2011//
/Arthan1C.tptp/1.2/Thu Sep 22 15:05:47 2011//
/ArthanKM2-sincos.tptp/1.2/Thu Sep 22 15:05:47 2011//
/ArthanKM2.tptp/1.2/Thu Sep 22 15:05:47 2011//
/ArthanM2-sincos.tptp/1.2/Thu Sep 22 15:05:47 2011//
/ArthanM2.tptp/1.3/Thu Sep 22 15:05:47 2011//
/CMOS-opamp.tptp/1.2/Thu Sep 22 15:05:47 2011//
/CONVOI-weak.tptp/1.3/Thu Sep 22 15:05:47 2011//
/CONVOI-weak2.tptp/1.3/Thu Sep 22 15:05:47 2011//
/CONVOI.tptp/1.8/Thu Sep 22 15:05:47 2011//
/CONVOI2-sincos-weak.tptp/1.5/Thu Sep 22 15:05:47 2011//
/CONVOI2-sincos.tptp/1.7/Thu Sep 22 15:05:47 2011//
/CONVOI2.tptp/1.7/Wed Oct  5 17:35:17 2011//
/Chua-1-IL-L-sincos.tptp/1.4/Thu Sep 22 15:05:47 2011//
/Chua-1-IL-L.tptp/1.3/Thu Sep 22 15:05:47 2011//
/Chua-1-IL-U-sincos.tptp/1.3/Thu Sep 22 15:05:47 2011//
/Chua-1-IL-U.tptp/1.2/Thu Sep 22 15:05:47 2011//
/Chua-1-VC1-L-sincos.tptp/1.3/Thu Sep 22 15:05:47 2011//
/Chua-1-VC1-L.tptp/1.2/Thu Sep 22 15:05:47 2011//
/Chua-1-VC1-U-sincos.tptp/1.5/Thu Sep 22 15:05:47 2011//
/Chua-1-VC1-U.tptp/1.2/Thu Sep 22 15:05:47 2011//
/Chua-1-VC2-L-sincos.tptp/1.3/Thu Sep 22 15:05:47 2011//
/Chua-1-VC2-L.tptp/1.2/Thu Sep 22 15:05:47 2011//
/Chua-1-VC2-U-sincos.tptp/1.3/Thu Sep 22 15:05:47 2011//
/Chua-1-VC2-U.tptp/1.2/Thu Sep 22 15:05:47 2011//
/Chua-2-IL-L-sincos.tptp/1.3/Thu Sep 22 15:05:47 2011//
/Chua-2-IL-L.tptp/1.2/Thu Sep 22 15:05:47 2011//
/Chua-2-IL-U-sincos.tptp/1.3/Thu Sep 22 15:05:47 2011//
/Chua-2-IL-U.tptp/1.2/Thu Sep 22 15:05:47 2011//
/Chua-2-VC1-L-sincos.tptp/1.3/Thu Sep 22 15:05:47 2011//
/Chua-2-VC1-L.tptp/1.2/Thu Sep 22 15:05:47 2011//
/Chua-2-VC1-U-sincos.tptp/1.3/Thu Sep 22 15:05:47 2011//
/Chua-2-VC1-U.tptp/1.2/Thu Sep 22 15:05:47 2011//
/Chua-2-VC2-L-sincos.tptp/1.3/Thu Sep 22 15:05:47 2011//
/Chua-2-VC2-L.tptp/1.2/Thu Sep 22 15:05:47 2011//
/Chua-2-VC2-U-sincos.tptp/1.3/Thu Sep 22 15:05:47 2011//
/Chua-2-VC2-U.tptp/1.2/Thu Sep 22 15:05:47 2011//
/Chua.tptp/1.7/Thu Sep 22 15:05:47 2011//
/Colpitts-BJT-1-VC2+VC1.tptp/1.3/Thu Sep 22 15:05:47 2011//
/Colpitts-BJT-2-VC2+VC1.tptp/1.3/Thu Sep 22 15:05:47 2011//
/FOCUS.tptp/1.6/Thu Sep 22 15:05:47 2011//
/HEATING.tptp/1.6/Thu Sep 22 15:05:47 2011//
/Integrator.tptp/1.3/Thu Sep 22 15:05:47 2011//
/MUTANT-1.tptp/1.6/Thu Sep 22 15:05:47 2011//
/MUTANT-2-h.tptp/1.3/Thu Sep 22 15:05:47 2011//
/MUTANT-2.tptp/1.7/Thu Sep 22 15:05:48 2011//
/MUTANT-3-h.tptp/1.3/Thu Sep 22 15:05:48 2011//
/MUTANT-3.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Mastellone2c.tptp/1.2/Wed Mar 21 15:16:47 2012//
/Melquiond1.tptp/1.2/Thu Sep 22 15:05:48 2011//
/NAVIGATION-1.tptp/1.7/Thu Sep 22 15:05:48 2011//
/NAVIGATION-2.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-1-1.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-1-2.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-1-3.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-1-4.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-1-5.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-1-6-scaled.tptp/1.2/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-1-6-weak.tptp/1.6/Tue Jan 31 14:26:06 2012//
/Nichols-Plot-Disk-Drive-Meets-1-6.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-1-7-weak.tptp/1.6/Tue Jan 31 14:26:06 2012//
/Nichols-Plot-Disk-Drive-Meets-1-7.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-1-8-weak.tptp/1.7/Tue Jan 31 14:26:06 2012//
/Nichols-Plot-Disk-Drive-Meets-1-8.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-2-1.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-2-2.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-2-3.tptp/1.8/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-2-4.tptp/1.6/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-2-5-weak.tptp/1.7/Tue Jan 31 14:26:06 2012//
/Nichols-Plot-Disk-Drive-Meets-2-5.tptp/1.8/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-2-6-weak.tptp/1.7/Tue Jan 31 14:26:06 2012//
/Nichols-Plot-Disk-Drive-Meets-2-6.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-2-7-weak.tptp/1.7/Tue Jan 31 14:26:06 2012//
/Nichols-Plot-Disk-Drive-Meets-2-7.tptp/1.9/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-2-8-weak.tptp/1.7/Tue Jan 31 14:26:06 2012//
/Nichols-Plot-Disk-Drive-Meets-2-8.tptp/1.8/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-3-1.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Disk-Drive-Meets-3-2.tptp/1.8/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-1-1.tptp/1.6/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-1-2.tptp/1.6/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-1-3.tptp/1.5/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-1-4.tptp/1.6/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-1-5-weak.tptp/1.6/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-1-5.tptp/1.7/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-1-6-sqrt.tptp/1.3/Thu Sep 22 15:05:48 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-1-6.tptp/1.8/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-2-1.tptp/1.6/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-2-2.tptp/1.5/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-2-3.tptp/1.5/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-2-4.tptp/1.6/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-2-5-weak.tptp/1.6/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-2-5.tptp/1.7/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-3-1-sqrt.tptp/1.2/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-3-1.tptp/1.5/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Fails-3-2.tptp/1.6/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Meets-1-1.tptp/1.5/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Meets-1-2.tptp/1.5/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Meets-1-3.tptp/1.4/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Meets-1-4.tptp/1.5/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Meets-1-5-weak.tptp/1.7/Tue Jan 31 14:26:06 2012//
/Nichols-Plot-Inverted-Pendulum-Meets-1-5.tptp/1.6/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Meets-2-1.tptp/1.5/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Meets-2-2.tptp/1.4/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Meets-2-3.tptp/1.4/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Meets-2-4.tptp/1.5/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Meets-2-5-weak.tptp/1.6/Tue Jan 31 14:26:06 2012//
/Nichols-Plot-Inverted-Pendulum-Meets-2-5.tptp/1.6/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Meets-3-1.tptp/1.6/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Inverted-Pendulum-Meets-3-2.tptp/1.5/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Simple-Example-1.tptp/1.7/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Simple-Example-2.tptp/1.6/Thu Sep 22 15:05:49 2011//
/Nichols-Plot-Simple-Example-3-weak.tptp/1.3/Fri Sep 26 16:44:46 2008//
/Nichols-Plot-Simple-Example-3.tptp/1.4/Thu Jan  6 16:46:23 2011//
/Nichols-Plot-Simple-Example-4.tptp/1.9/Wed Mar 21 15:16:47 2012//
/RL-high-pass-circuit-gain.tptp/1.3/Thu Sep 22 15:05:49 2011//
/RL-high-pass-circuit.tptp/1.2/Thu Sep 22 15:05:49 2011//
/Tunnel-1-IL-L.tptp/1.3/Thu Sep 22 15:05:49 2011//
/Tunnel-1-IL-U.tptp/1.3/Thu Sep 22 15:05:49 2011//
/Tunnel-1-IL.tptp/1.3/Thu Sep 22 15:05:49 2011//
/Tunnel-1-VC-L.tptp/1.3/Thu Sep 22 15:05:49 2011//
/Tunnel-1-VC-U.tptp/1.3/Thu Sep 22 15:05:50 2011//
/Tunnel-2-IL-L.tptp/1.3/Thu Sep 22 15:05:50 2011//
/Tunnel-2-IL-U.tptp/1.3/Thu Sep 22 15:05:50 2011//
/Tunnel-2-IL.tptp/1.3/Thu Sep 22 15:05:50 2011//
/Tunnel-2-VC-L.tptp/1.3/Thu Sep 22 15:05:50 2011//
/Tunnel-2-VC-U.tptp/1.4/Thu Sep 22 15:05:50 2011//
/Tunnel-3-IL-L.tptp/1.3/Thu Sep 22 15:05:50 2011//
/Tunnel-3-IL-U.tptp/1.3/Thu Sep 22 15:05:50 2011//
/Tunnel-3-IL.tptp/1.3/Thu Sep 22 15:05:50 2011//
/Tunnel-3-VC-L.tptp/1.3/Thu Sep 22 15:05:50 2011//
/Tunnel-3-VC-U.tptp/1.3/Thu Sep 22 15:05:50 2011//
/X1-cosh.tptp/1.1/Wed May 26 14:00:16 2010//
/X1-exp.tptp/1.1/Wed May 26 14:00:16 2010//
/X1-exp2.tptp/1.1/Wed May 26 14:00:16 2010//
/X1-exp2r.tptp/1.1/Wed May 26 14:00:16 2010//
/X1-ln.tptp/1.1/Wed May 26 14:00:16 2010//
/X1-sin.tptp/1.1/Wed May 26 14:00:16 2010//
/X1-sin2.tptp/1.1/Wed May 26 14:00:16 2010//
/X1-sincos.tptp/1.1/Wed May 26 14:00:16 2010//
/X1-sinh.tptp/1.1/Wed May 26 14:00:16 2010//
/X1-tan.tptp/1.1/Wed May 26 14:00:16 2010//
/X1.tptp/1.1/Wed May 26 14:00:16 2010//
/X1b-ln.tptp/1.1/Wed May 26 14:00:16 2010//
/X1b-ln2.tptp/1.2/Tue Oct 12 15:31:17 2010//
/X1s-sin.tptp/1.1/Wed May 26 14:00:16 2010//
/X1s-sin2.tptp/1.1/Wed May 26 14:00:16 2010//
/X1s-tan.tptp/1.1/Wed May 26 14:00:16 2010//
/X2-cosh.tptp/1.3/Mon Jul 11 10:56:06 2011//
/X2-exp.tptp/1.1/Wed May 26 14:00:16 2010//
/X2-exp2.tptp/1.1/Wed May 26 14:00:17 2010//
/X2-exp3.tptp/1.1/Wed May 26 14:00:17 2010//
/X2-exp4.tptp/1.1/Wed May 26 14:00:17 2010//
/X2-exp5.tptp/1.2/Thu May  5 14:52:36 2011//
/X2-exp6.tptp/1.2/Tue Oct 12 15:31:17 2010//
/X2-ln.tptp/1.1/Wed May 26 14:00:17 2010//
/X2-ln2.tptp/1.1/Wed May 26 14:00:17 2010//
/X2-ln3.tptp/1.1/Wed May 26 14:00:17 2010//
/X2-ln4.tptp/1.5/Fri Jun 17 16:02:48 2011//
/X2-ln5.tptp/1.1/Wed May 26 14:00:17 2010//
/X2-ln6.tptp/1.1/Wed May 26 14:00:17 2010//
/X2-sinh.tptp/1.1/Wed May 26 14:00:17 2010//
/X2-sinh2.tptp/1.2/Tue Oct 12 15:31:17 2010//
/X2-tan.tptp/1.4/Mon Jan 24 14:55:03 2011//
/X2.tptp/1.1/Wed May 26 14:00:17 2010//
/X2b-ln.tptp/1.2/Tue Oct 12 15:31:17 2010//
/X3-exp.tptp/1.1/Wed May 26 14:00:17 2010//
/X3-exp2.tptp/1.2/Tue Oct 12 15:31:17 2010//
/X3.tptp/1.1/Wed May 26 14:00:17 2010//
/X3a.tptp/1.1/Wed May 26 14:00:17 2010//
/X3b.tptp/1.1/Wed May 26 14:00:17 2010//
/abs-problem-1.tptp/1.10/Sun May 29 09:35:17 2011//
/abs-problem-10.tptp/1.11/Wed Sep 10 11:53:26 2008//
/abs-problem-11.tptp/1.9/Tue Oct  4 11:36:27 2011//
/abs-problem-12.tptp/1.12/Wed Sep 10 11:53:26 2008//
/abs-problem-13.tptp/1.9/Wed Sep 10 11:53:26 2008//
/abs-problem-14.tptp/1.10/Wed Sep 10 11:53:26 2008//
/abs-problem-15.tptp/1.7/Fri Aug  8 09:29:41 2008//
/abs-problem-16.tptp/1.13/Tue Oct  4 11:36:27 2011//
/abs-problem-17-weak.tptp/1.8/Fri Oct 17 16:20:31 2008//
/abs-problem-17.tptp/1.14/Fri Oct 17 16:20:31 2008//
/abs-problem-2.tptp/1.9/Wed Sep 10 11:53:26 2008//
/abs-problem-3.tptp/1.14/Sun May 29 10:02:00 2011//
/abs-problem-4.tptp/1.12/Tue Jan 31 14:26:06 2012//
/abs-problem-5-sqrt-weak.tptp/1.9/Tue Jan 31 14:26:06 2012//
/abs-problem-5-sqrt-weak2.tptp/1.9/Tue Jan 31 14:26:06 2012//
/abs-problem-5-sqrt.tptp/1.11/Tue Jan 31 14:26:06 2012//
/abs-problem-5-weak.tptp/1.13/Tue Jan 31 14:26:06 2012//
/abs-problem-5.tptp/1.13/Tue Jan 31 14:26:06 2012//
/abs-problem-6.tptp/1.10/Tue Jan 31 14:26:06 2012//
/abs-problem-7.tptp/1.10/Tue Jan 31 14:26:06 2012//
/abs-problem-8.tptp/1.10/Tue Jan 31 14:26:06 2012//
/abs-problem-9.tptp/1.10/Fri Oct 17 16:20:31 2008//
/asin-1-1var.tptp/1.1/Thu Sep 23 13:22:05 2010//
/asin-1.tptp/1.3/Mon Jun 13 15:23:09 2011//
/asin-2.tptp/1.1/Thu Sep 23 13:22:05 2010//
/asin-3.tptp/1.1/Thu Sep 23 13:22:05 2010//
/asin-3abs.tptp/1.1/Thu Sep 23 13:22:05 2010//
/asin-4.tptp/1.2/Tue Sep 28 16:09:08 2010//
/asin-5-weak.tptp/1.2/Tue Sep 28 16:09:08 2010//
/asin-5.tptp/1.3/Mon Oct  4 10:55:18 2010//
/asin-6-weak.tptp/1.2/Tue Sep 28 16:09:08 2010//
/asin-6.tptp/1.2/Tue Sep 28 16:09:09 2010//
/asin-7.tptp/1.2/Mon Jun 13 15:23:10 2011//
/asin-8-sqrt1.tptp/1.3/Fri Feb 11 16:58:33 2011//
/asin-8-sqrt2.tptp/1.3/Mon Jul 11 10:56:06 2011//
/asin-8-sqrt3.tptp/1.4/Mon Jun 13 15:23:10 2011//
/asin-8-sqrt4.tptp/1.4/Mon Jun 27 11:28:44 2011//
/asin-8-vars4.tptp/1.5/Tue Dec 13 12:00:32 2011//
/asin-8.tptp/1.2/Tue Nov  1 12:01:46 2011//
/atan-error-analysis-1-weak.tptp/1.7/Fri Sep 26 16:44:46 2008//
/atan-error-analysis-1.tptp/1.14/Thu Jan  6 16:46:23 2011//
/atan-error-analysis-2-weak.tptp/1.11/Thu Jan  6 16:46:23 2011//
/atan-error-analysis-2.tptp/1.14/Thu Jan  6 16:46:23 2011//
/atan-error-analysis-3-weak.tptp/1.4/Thu Jan  6 16:46:23 2011//
/atan-error-analysis-3.tptp/1.11/Thu Jan  6 16:46:23 2011//
/atan-error-analysis-4-weak.tptp/1.12/Thu Jan  6 16:46:23 2011//
/atan-error-analysis-4.tptp/1.14/Thu Jan  6 16:46:23 2011//
/atan-error-analysis-5.tptp/1.7/Thu Jan  6 16:46:23 2011//
/atan-problem-1-sqrt-max.tptp/1.1/Fri Oct  7 16:29:10 2011//
/atan-problem-1-sqrt-weak.tptp/1.2/Fri Oct  7 16:29:10 2011//
/atan-problem-1-sqrt.tptp/1.6/Fri Oct  7 16:29:10 2011//
/atan-problem-1-weak.tptp/1.9/Thu Jan  6 16:46:23 2011//
/atan-problem-1.tptp/1.21/Tue Jan 18 14:20:59 2011//
/atan-problem-10.tptp/1.10/Thu Jan  6 16:46:23 2011//
/atan-problem-11.tptp/1.10/Thu Jan  6 16:46:23 2011//
/atan-problem-12.tptp/1.8/Thu Jan  6 16:46:23 2011//
/atan-problem-13.tptp/1.7/Thu Sep 22 15:05:50 2011//
/atan-problem-2-sqrt-weak.tptp/1.6/Tue Dec 13 12:00:32 2011//
/atan-problem-2-sqrt-weakT1.tptp/1.6/Mon Jul 11 10:56:06 2011//
/atan-problem-2-sqrt-weakT2.tptp/1.6/Mon Jul 11 10:56:06 2011//
/atan-problem-2-sqrt-weakest21.tptp/1.5/Mon Jun 13 15:23:10 2011//
/atan-problem-2-sqrt.tptp/1.9/Mon Oct 31 16:07:31 2011//
/atan-problem-2-weak.tptp/1.5/Tue Dec 13 12:00:32 2011//
/atan-problem-2-weak2.tptp/1.2/Tue Dec 13 12:00:32 2011//
/atan-problem-2-weakT.tptp/1.6/Tue Dec 13 12:00:32 2011//
/atan-problem-2-weakest21.tptp/1.7/Fri Dec  2 17:39:53 2011//
/atan-problem-2-weakest31.tptp/1.6/Fri Dec  2 17:39:53 2011//
/atan-problem-2-weakestT.tptp/1.6/Tue Jan 18 14:20:59 2011//
/atan-problem-2.tptp/1.17/Mon Oct 31 16:07:31 2011//
/atan-problem-7.tptp/1.8/Thu Jan  6 16:46:23 2011//
/atan-problem-8.tptp/1.8/Thu Jan  6 16:46:23 2011//
/atan-problem-9.tptp/1.7/Fri Sep 26 16:44:47 2008//
/atan-vega-1-weak.tptp/1.3/Wed Oct 12 13:10:33 2011//
/atan-vega-1.tptp/1.3/Wed Oct 12 13:10:33 2011//
/atan-vega-2-weak.tptp/1.4/Wed Oct 12 13:10:33 2011//
/atan-vega-2.tptp/1.2/Wed Oct 12 13:10:33 2011//
/atan-vega-3-weak.tptp/1.5/Tue Dec 13 12:00:32 2011//
/atan-vega-3.tptp/1.2/Wed Oct 12 13:10:33 2011//
/bottom-plate-mixer.tptp/1.2/Thu Sep 22 15:05:50 2011//
/cbrt-problem-1.tptp/1.2/Thu Oct 21 13:21:48 2010//
/cbrt-problem-2-weak.tptp/1.4/Thu Oct 13 10:22:06 2011//
/cbrt-problem-2.tptp/1.3/Mon Jun 13 15:23:10 2011//
/cbrt-problem-3-weak.tptp/1.7/Thu Oct 13 10:22:06 2011//
/cbrt-problem-3.tptp/1.2/Thu Oct 21 13:21:48 2010//
/cbrt-problem-4-weak-2var.tptp/1.2/Thu Oct 21 13:21:48 2010//
/cbrt-problem-4-weak.tptp/1.2/Thu Oct 21 13:21:48 2010//
/cbrt-problem-4.tptp/1.2/Thu Oct 21 13:21:48 2010//
/cbrt-problem-5a.tptp/1.1/Thu Oct 21 13:08:35 2010//
/cbrt-problem-5b-weak.tptp/1.2/Mon Oct 17 16:35:18 2011//
/cbrt-problem-5b.tptp/1.3/Mon Oct 17 16:35:18 2011//
/cos-3410-a.tptp/1.2/Mon Jun 13 15:23:10 2011//
/cos-3410-b.tptp/1.4/Mon Jun 13 15:23:10 2011//
/cos-3411-a-weak.tptp/1.1/Mon Oct 17 16:35:18 2011//
/cos-3411-a-weak2.tptp/1.1/Mon Oct 17 16:35:18 2011//
/cos-3411-a.tptp/1.3/Mon Oct 17 16:35:19 2011//
/cos-3411-b-weak.tptp/1.1/Thu Oct 20 10:47:03 2011//
/cos-3411-b.tptp/1.3/Tue Jul  5 15:38:53 2011//
/cos-3411-c.tptp/1.2/Tue Jul  5 15:38:53 2011//
/cos-error-analysis-1.tptp/1.8/Wed Sep 24 13:46:28 2008//
/cos-error-analysis-2.tptp/1.7/Wed Sep 24 13:46:28 2008//
/cos-error-analysis-3.tptp/1.7/Wed Sep 24 13:46:28 2008//
/cos-error-analysis-4.tptp/1.9/Wed Sep 24 13:46:28 2008//
/cos-error-analysis-5.tptp/1.10/Fri Oct 17 16:20:31 2008//
/cos-error-analysis-6.tptp/1.8/Wed Sep 10 11:53:27 2008//
/cos-error-analysis-7.tptp/1.9/Fri Oct 17 16:20:31 2008//
/cos-power-1-weak.tptp/1.2/Mon Jun 13 15:23:10 2011//
/cos-power-1.tptp/1.2/Wed Jun 22 11:40:25 2011//
/cos-power-2.tptp/1.2/Mon Jun 13 15:23:10 2011//
/cos-problem-1-weak.tptp/1.6/Thu Oct 14 13:58:50 2010//
/cos-problem-1.tptp/1.8/Fri Nov 11 11:47:47 2011//
/cos-problem-10-weak.tptp/1.8/Tue Dec 13 12:00:32 2011//
/cos-problem-10.tptp/1.6/Tue Oct 12 15:31:17 2010//
/cos-problem-11.tptp/1.8/Wed Sep 10 11:53:27 2008//
/cos-problem-12.tptp/1.4/Wed Sep 10 11:53:27 2008//
/cos-problem-2-weak.tptp/1.10/Mon Jun 13 15:23:10 2011//
/cos-problem-2.tptp/1.9/Fri Nov 11 11:47:47 2011//
/cos-problem-3.tptp/1.6/Wed Sep 24 13:46:28 2008//
/cos-problem-4.tptp/1.5/Wed Sep 10 11:53:27 2008//
/cos-problem-5-sqrt.tptp/1.2/Mon Jun 13 15:23:10 2011//
/cos-problem-5.tptp/1.5/Wed Sep 10 11:53:27 2008//
/cos-problem-9-weak.tptp/1.8/Tue Jul  5 15:38:53 2011//
/cos-problem-9.tptp/1.7/Tue Oct 12 15:31:17 2010//
/cosec-problem-1a.tptp/1.1/Tue Sep  7 16:14:37 2010//
/cosec-problem-1b.tptp/1.1/Tue Sep  7 16:14:37 2010//
/cosec-problem-2a.tptp/1.2/Mon Jun 13 15:23:10 2011//
/cosec-problem-2b.tptp/1.2/Mon Jun 13 15:23:10 2011//
/cosec-problem-3a-weak.tptp/1.4/Mon Jun 13 15:23:10 2011//
/cosec-problem-3a.tptp/1.2/Fri Jun 17 16:02:49 2011//
/cosec-problem-3b.tptp/1.3/Mon Jun 13 15:23:10 2011//
/cosh-3612a-weak.tptp/1.1/Thu Oct 20 16:06:17 2011//
/cosh-3612a.tptp/1.2/Thu Oct 20 16:06:18 2011//
/cosh-3612b-weak.tptp/1.2/Thu Oct 20 16:06:18 2011//
/cosh-3612b.tptp/1.2/Thu Oct 20 16:06:18 2011//
/cosh-369.tptp/1.2/Mon Jun 13 15:23:10 2011//
/cot-error-analysis-Intel-1.tptp/1.2/Fri Feb 11 16:58:33 2011//
/ellipse-check-1.tptp/1.5/Wed Mar 21 15:16:47 2012//
/ellipse-check-2-weak.tptp/1.4/Wed Mar 21 15:16:47 2012//
/ellipse-check-2-weak2.tptp/1.3/Wed Mar 21 15:16:47 2012//
/ellipse-check-2.tptp/1.8/Wed Mar 21 15:16:47 2012//
/ellipse-check-3-ln.tptp/1.4/Wed Mar 21 15:16:47 2012//
/ellipse-check-3-weak.tptp/1.5/Wed Mar 21 15:16:47 2012//
/ellipse-check-3.tptp/1.6/Wed Mar 21 15:16:47 2012//
/ellipse-check-4-atan.tptp/1.1/Thu Jun  2 15:01:08 2011//
/ellipse-check-4.tptp/1.6/Wed Mar 21 15:16:47 2012//
/exp-361-2.tptp/1.3/Tue Sep 20 14:23:56 2011//
/exp-361-4.tptp/1.3/Tue Sep 20 14:23:56 2011//
/exp-361-6-e.tptp/1.5/Mon Oct 24 13:43:26 2011//
/exp-361-6-scaled.tptp/1.4/Thu Oct 20 16:05:43 2011//
/exp-361-6-weak.tptp/1.5/Mon Oct 24 13:43:26 2011//
/exp-361-6.tptp/1.5/Fri Oct 21 11:39:57 2011//
/exp-361-neg-2.tptp/1.2/Tue Sep 20 14:23:56 2011//
/exp-361-neg-4-e.tptp/1.2/Tue Sep 20 14:23:56 2011//
/exp-361-neg-4.tptp/1.2/Tue Sep 20 14:23:56 2011//
/exp-361-neg-6-e.tptp/1.3/Tue Sep 20 14:23:56 2011//
/exp-361-neg-6-weak.tptp/1.2/Tue Sep 20 14:23:56 2011//
/exp-361-neg-6.tptp/1.2/Tue Sep 20 14:23:56 2011//
/exp-362-100c.tptp/1.2/Tue Sep 20 14:23:56 2011//
/exp-362-2a.tptp/1.2/Tue Sep 20 14:23:56 2011//
/exp-362-2b.tptp/1.2/Tue Sep 20 14:23:56 2011//
/exp-362-2c.tptp/1.2/Tue Sep 20 14:23:56 2011//
/exp-362-60a-weak.tptp/1.2/Tue Sep 20 14:23:56 2011//
/exp-362-60a.tptp/1.4/Mon Oct 24 13:43:26 2011//
/exp-362-60b.tptp/1.2/Tue Sep 20 14:23:56 2011//
/exp-362-6a.tptp/1.2/Tue Sep 20 14:23:56 2011//
/exp-362-6b.tptp/1.2/Tue Sep 20 14:23:56 2011//
/exp-error-analysis-1.tptp/1.4/Wed Sep 10 11:53:27 2008//
/exp-error-analysis-2.tptp/1.4/Wed Sep 10 11:53:27 2008//
/exp-error-analysis-3.tptp/1.4/Wed Sep 10 11:53:27 2008//
/exp-error-analysis-4.tptp/1.5/Wed Sep 10 11:53:27 2008//
/exp-error-analysis-5.tptp/1.4/Wed Sep 10 11:53:27 2008//
/exp-error-analysis-6.tptp/1.6/Fri Oct 17 16:20:31 2008//
/exp-error-analysis-7.tptp/1.6/Fri Oct 17 16:20:31 2008//
/exp-fun-ineq-b-cbrt.tptp/1.4/Thu Dec  8 14:36:56 2011//
/exp-fun-ineq-b-corrected.tptp/1.1/Thu Dec  8 14:36:56 2011//
/exp-fun-ineq-b-weak.tptp/1.8/Thu Dec  8 14:36:56 2011//
/exp-fun-ineq-b.tptp/1.7/Thu Dec  8 14:36:56 2011//
/exp-fun-ineq-c-I-15.tptp/1.1/Tue Sep  7 15:57:03 2010//
/exp-fun-ineq-c-I-6.tptp/1.1/Tue Sep  7 15:57:03 2010//
/exp-fun-ineq-c-II-15.tptp/1.1/Tue Sep  7 15:57:03 2010//
/exp-fun-ineq-c-II-6.tptp/1.1/Tue Sep  7 15:57:03 2010//
/exp-fun-ineq-c-III-15.tptp/1.1/Tue Sep  7 15:57:03 2010//
/exp-fun-ineq-c-III-6.tptp/1.1/Tue Sep  7 15:57:03 2010//
/exp-hyperbolic-1.tptp/1.1/Thu Oct 20 16:06:18 2011//
/exp-hyperbolic-2.tptp/1.1/Thu Oct 20 16:06:18 2011//
/exp-ln-2-sqrt-weak.tptp/1.1/Wed Dec 21 15:01:06 2011//
/exp-ln-2-sqrt-weak2.tptp/1.1/Wed Dec 21 15:01:06 2011//
/exp-ln-2-sqrt.tptp/1.1/Wed Dec 21 15:01:06 2011//
/exp-ln-2-weak.tptp/1.1/Wed Dec 21 15:01:06 2011//
/exp-ln-2.tptp/1.2/Wed Mar 21 15:16:13 2012//
/exp-log-nest-weak.tptp/1.1/Wed Oct 26 16:05:31 2011//
/exp-log-nest.tptp/1.2/Tue Oct 25 13:48:45 2011//
/exp-log-problem-1.tptp/1.6/Thu Oct 14 13:58:50 2010//
/exp-lower-1.tptp/1.10/Fri Aug  8 15:40:30 2008//
/exp-lower-13-sqrt-weak.tptp/1.5/Mon Oct  4 10:55:18 2010//
/exp-lower-13-sqrt-weak2.tptp/1.2/Mon Oct  4 10:55:18 2010//
/exp-lower-13-sqrt.tptp/1.7/Tue Oct 12 15:31:17 2010//
/exp-lower-13.tptp/1.11/Mon Oct  4 10:55:18 2010//
/exp-lower-14-sqrt-weak.tptp/1.6/Mon Oct  4 10:55:18 2010//
/exp-lower-14-sqrt.tptp/1.8/Tue Oct 12 15:31:17 2010//
/exp-lower-14.tptp/1.12/Fri Aug 20 16:08:24 2010//
/exp-lower-15.tptp/1.5/Wed Sep 10 11:53:28 2008//
/exp-lower-16.tptp/1.4/Wed Sep 10 11:53:28 2008//
/exp-lower-17.tptp/1.4/Wed Sep 10 11:53:28 2008//
/exp-lower-18.tptp/1.5/Wed Sep 10 11:53:28 2008//
/exp-lower-2.tptp/1.7/Mon May 30 08:02:12 2011//
/exp-lower-3.tptp/1.10/Mon May 30 08:45:17 2011//
/exp-lower-4.tptp/1.9/Fri Aug  8 15:40:30 2008//
/exp-lower-5.tptp/1.11/Fri Aug  8 15:40:30 2008//
/exp-lower-6.tptp/1.10/Mon Aug 11 15:34:45 2008//
/exp-lower-7.tptp/1.7/Mon Aug 11 15:34:45 2008//
/exp-lower-8.tptp/1.7/Mon Aug 11 15:34:45 2008//
/exp-lower-9.tptp/1.8/Mon Aug 11 15:34:45 2008//
/exp-over-squared.tptp/1.2/Thu Apr 28 16:09:23 2011//
/exp-pi-weak1.tptp/1.1/Fri Dec 16 17:05:38 2011//
/exp-pi-weak2.tptp/1.1/Fri Dec 16 17:05:38 2011//
/exp-pi.tptp/1.1/Fri Dec 16 17:05:38 2011//
/exp-problem-1.tptp/1.5/Wed Sep 10 11:53:28 2008//
/exp-problem-10-2-sqrt-weak.tptp/1.2/Wed Nov 16 12:46:09 2011//
/exp-problem-10-2-sqrt.tptp/1.3/Wed Nov 16 12:46:09 2011//
/exp-problem-10-2.tptp/1.4/Wed Nov 16 12:46:09 2011//
/exp-problem-10-3-cbrt-weak.tptp/1.3/Wed Nov 16 12:46:09 2011//
/exp-problem-10-3-cbrt.tptp/1.3/Wed Nov 16 12:46:09 2011//
/exp-problem-10-3-weak.tptp/1.1/Wed Oct 26 16:05:31 2011//
/exp-problem-10-3.tptp/1.4/Wed Nov 16 12:46:09 2011//
/exp-problem-10.tptp/1.1/Thu Oct 21 13:08:37 2010//
/exp-problem-2.tptp/1.4/Wed Sep 10 11:53:28 2008//
/exp-problem-3.tptp/1.4/Wed Sep 10 11:53:28 2008//
/exp-problem-4.tptp/1.5/Wed Sep 10 11:53:28 2008//
/exp-problem-5.tptp/1.5/Wed Sep 10 11:53:28 2008//
/exp-problem-6.tptp/1.5/Wed Sep 10 11:53:28 2008//
/exp-problem-7.tptp/1.3/Wed Sep 10 11:53:28 2008//
/exp-problem-8-weak.tptp/1.4/Fri Oct  3 15:58:28 2008//
/exp-problem-8-weak2.tptp/1.5/Thu Nov 25 12:32:25 2010//
/exp-problem-8.tptp/1.8/Wed Oct 26 16:08:31 2011//
/exp-problem-9-weak2.tptp/1.2/Fri Oct  7 10:33:54 2011//
/exp-problem-9.tptp/1.4/Fri Oct  7 10:33:54 2011//
/exp-upper-1.tptp/1.8/Fri Oct 17 16:20:31 2008//
/exp-upper-10-div.tptp/1.5/Fri Oct 17 16:20:31 2008//
/exp-upper-10.tptp/1.12/Fri Oct 17 16:20:31 2008//
/exp-upper-11.tptp/1.8/Wed Sep 10 11:53:28 2008//
/exp-upper-12.tptp/1.9/Wed Sep 10 11:53:28 2008//
/exp-upper-13.tptp/1.9/Wed Sep 10 11:53:28 2008//
/exp-upper-14.tptp/1.8/Wed Sep 10 11:53:28 2008//
/exp-upper-15.tptp/1.7/Wed Sep 10 11:53:28 2008//
/exp-upper-16.tptp/1.7/Wed Sep 10 11:53:28 2008//
/exp-upper-17.tptp/1.8/Wed Sep 10 11:53:28 2008//
/exp-upper-18.tptp/1.7/Wed Sep 10 11:53:28 2008//
/exp-upper-19.tptp/1.7/Wed Sep 10 11:53:28 2008//
/exp-upper-2.tptp/1.7/Wed Aug  5 11:35:05 2009//
/exp-upper-20.tptp/1.8/Wed Sep 10 11:53:28 2008//
/exp-upper-3.tptp/1.9/Wed Aug  5 11:35:05 2009//
/exp-upper-4.tptp/1.9/Fri Oct 17 16:20:31 2008//
/exp-upper-5.tptp/1.9/Fri Oct 17 16:20:31 2008//
/exp-upper-6.tptp/1.11/Wed Sep 10 11:53:28 2008//
/exp-upper-7.tptp/1.8/Wed Sep 10 11:53:28 2008//
/exp-upper-8.tptp/1.9/Wed Sep 10 11:53:28 2008//
/exp-upper-9-div.tptp/1.4/Wed Sep 10 11:53:28 2008//
/exp-upper-9.tptp/1.11/Wed Sep 10 11:53:28 2008//
/ground-problem-1.tptp/1.4/Thu Aug 14 15:25:18 2008//
/ground-problem-10.tptp/1.5/Wed Sep 10 11:53:28 2008//
/ground-problem-11.tptp/1.6/Wed Sep 10 11:53:28 2008//
/ground-problem-12.tptp/1.4/Thu Aug 14 15:25:18 2008//
/ground-problem-13.tptp/1.6/Wed Sep 10 11:53:28 2008//
/ground-problem-14.tptp/1.4/Thu Aug 14 15:25:18 2008//
/ground-problem-15.tptp/1.6/Wed Sep 10 11:53:28 2008//
/ground-problem-16.tptp/1.4/Thu Aug 14 15:25:18 2008//
/ground-problem-17.tptp/1.6/Wed Sep 10 11:53:28 2008//
/ground-problem-18.tptp/1.6/Fri Oct  3 15:58:28 2008//
/ground-problem-19.tptp/1.8/Thu Nov 17 14:55:10 2011//
/ground-problem-2.tptp/1.5/Wed Sep 10 11:53:29 2008//
/ground-problem-20.tptp/1.4/Wed Sep 10 11:53:29 2008//
/ground-problem-21.tptp/1.5/Fri Oct 17 16:20:31 2008//
/ground-problem-22.tptp/1.4/Wed Sep 10 11:53:29 2008//
/ground-problem-3.tptp/1.4/Thu Aug 14 15:25:19 2008//
/ground-problem-4.tptp/1.5/Wed Sep 10 11:53:29 2008//
/ground-problem-5.tptp/1.4/Thu Aug 14 15:25:19 2008//
/ground-problem-6.tptp/1.5/Wed Sep 10 11:53:29 2008//
/ground-problem-7.tptp/1.4/Thu Aug 14 15:25:19 2008//
/ground-problem-8.tptp/1.5/Wed Sep 10 11:53:29 2008//
/ground-problem-9.tptp/1.4/Thu Aug 14 15:25:19 2008//
/heartdipole.tptp/1.1/Thu Mar 17 17:34:53 2011//
/log-3615-sqrt.tptp/1.1/Mon Nov 29 16:57:11 2010//
/log-3615.tptp/1.1/Mon Nov 29 16:57:11 2010//
/log-error-analysis-1.tptp/1.3/Wed Sep 10 11:53:29 2008//
/log-error-analysis-2-weak.tptp/1.2/Wed Sep 10 11:53:29 2008//
/log-error-analysis-2.tptp/1.4/Thu Jul 15 16:29:17 2010//
/log-error-analysis-3-weak.tptp/1.3/Wed Sep 10 11:53:29 2008//
/log-error-analysis-3.tptp/1.6/Thu Jul 15 16:29:17 2010//
/log-error-analysis-4-weak.tptp/1.3/Wed Sep 10 11:53:29 2008//
/log-error-analysis-4.tptp/1.5/Thu Jul 15 16:29:17 2010//
/log-fun-ineq-a1.tptp/1.1/Tue Sep  7 15:57:03 2010//
/log-fun-ineq-a2.tptp/1.1/Tue Sep  7 15:57:03 2010//
/log-fun-ineq-b1.tptp/1.1/Tue Sep  7 15:57:03 2010//
/log-fun-ineq-b2.tptp/1.1/Tue Sep  7 15:57:03 2010//
/log-fun-ineq-e-weak.tptp/1.2/Thu Oct 27 14:27:10 2011//
/log-fun-ineq-e.tptp/1.2/Thu Oct 27 14:27:10 2011//
/log-fun-ineq-f.tptp/1.2/Thu Mar  3 14:01:17 2011//
/log-fun-ineq-f1.tptp/1.1/Tue Sep  7 15:57:03 2010//
/log-fun-ineq-f10-weak.tptp/1.1/Fri Sep  3 15:06:20 2010//
/log-fun-ineq-f10.tptp/1.4/Thu Oct 27 16:10:34 2011//
/log-fun-ineq-f2-sqrt.tptp/1.1/Tue Sep  7 15:57:03 2010//
/log-fun-ineq-f2.tptp/1.2/Tue Jan 11 16:53:15 2011//
/log-fun-ineq-f3.tptp/1.2/Tue Jan 11 16:53:15 2011//
/log-fun-ineq-fneg1.tptp/1.1/Tue Sep  7 15:57:03 2010//
/log-fun-ineq-fneg10.tptp/1.1/Tue Sep  7 15:57:04 2010//
/log-fun-ineq-fneg2.tptp/1.1/Tue Sep  7 15:57:04 2010//
/log-fun-ineq-fneg3.tptp/1.1/Tue Sep  7 15:57:04 2010//
/log-fun-ineq-g.tptp/1.3/Tue Jan 31 14:26:06 2012//
/log-lower-1.tptp/1.8/Wed Sep 10 11:53:29 2008//
/log-lower-10.tptp/1.9/Wed Sep 10 11:53:29 2008//
/log-lower-11.tptp/1.9/Wed Sep 10 11:53:29 2008//
/log-lower-12.tptp/1.11/Sun May 29 10:02:00 2011//
/log-lower-13.tptp/1.8/Wed Sep 10 11:53:29 2008//
/log-lower-14.tptp/1.10/Wed Sep 10 11:53:29 2008//
/log-lower-16.tptp/1.12/Wed Sep 10 11:53:29 2008//
/log-lower-17-sqrt-weak.tptp/1.5/Tue Jan 31 14:26:06 2012//
/log-lower-17-sqrt.tptp/1.7/Tue Jan 31 14:26:06 2012//
/log-lower-17-weak.tptp/1.11/Tue Jan 31 14:26:06 2012//
/log-lower-17.tptp/1.15/Tue Jan 31 14:26:06 2012//
/log-lower-2.tptp/1.9/Wed Sep 10 11:53:29 2008//
/log-lower-20-cbrt.tptp/1.1/Thu Oct 27 16:10:34 2011//
/log-lower-20-weak2.tptp/1.4/Fri Nov 11 11:47:47 2011//
/log-lower-20.tptp/1.11/Fri Nov 11 11:47:47 2011//
/log-lower-21.tptp/1.4/Wed Sep 10 11:53:29 2008//
/log-lower-22.tptp/1.5/Thu Oct 14 13:58:50 2010//
/log-lower-23.tptp/1.3/Wed Sep 10 11:53:29 2008//
/log-lower-24.tptp/1.4/Thu Oct 14 13:58:50 2010//
/log-lower-3.tptp/1.9/Wed Sep 10 11:53:29 2008//
/log-lower-4.tptp/1.11/Sun May 29 10:02:00 2011//
/log-lower-5.tptp/1.8/Wed Sep 10 11:53:29 2008//
/log-lower-6.tptp/1.9/Wed Sep 10 11:53:29 2008//
/log-lower-7.tptp/1.9/Wed Sep 10 11:53:29 2008//
/log-lower-8.tptp/1.10/Wed Sep 10 11:53:29 2008//
/log-lower-9.tptp/1.8/Wed Sep 10 11:53:30 2008//
/log-lower-zero.tptp/1.2/Thu Apr 28 15:59:33 2011//
/log-nest-exp-twovars-weak1.tptp/1.4/Fri Oct 28 15:58:49 2011//
/log-nest-exp-twovars-weak2.tptp/1.3/Fri Oct 28 15:58:49 2011//
/log-nest-exp-twovars.tptp/1.4/Fri Oct 28 15:58:49 2011//
/log-nest-exp-upper1.tptp/1.1/Wed Jan 21 16:18:48 2009//
/log-nest-exp-upper2.tptp/1.1/Wed Jan 21 16:18:48 2009//
/log-nest-exp-weak.tptp/1.2/Fri Oct 28 15:58:49 2011//
/log-nest-exp.tptp/1.3/Fri Oct 28 15:58:49 2011//
/log-problem-1.tptp/1.1/Fri Sep 26 16:44:47 2008//
/log-problem-2-weak.tptp/1.2/Tue May 31 16:12:46 2011//
/log-problem-2.tptp/1.5/Mon Jun 13 15:23:10 2011//
/log-problem-3-weak.tptp/1.1/Tue Sep  7 15:57:04 2010//
/log-problem-3.tptp/1.2/Fri Oct 28 15:58:49 2011//
/log-upper-1.tptp/1.8/Thu Sep 11 16:01:53 2008//
/log-upper-10.tptp/1.8/Thu Sep 11 16:01:53 2008//
/log-upper-11.tptp/1.8/Thu Sep 11 16:01:53 2008//
/log-upper-12.tptp/1.8/Thu Sep 11 16:01:53 2008//
/log-upper-13.tptp/1.11/Thu Sep 11 16:01:53 2008//
/log-upper-14.tptp/1.13/Tue Jan 31 14:26:06 2012//
/log-upper-16.tptp/1.12/Tue Jan 31 14:26:06 2012//
/log-upper-18-sqrt-weak.tptp/1.7/Tue Jan 31 14:26:06 2012//
/log-upper-18-sqrt-weak2.tptp/1.7/Tue Jan 31 14:26:06 2012//
/log-upper-18-sqrt.tptp/1.9/Tue Jan 31 14:26:06 2012//
/log-upper-18-weak.tptp/1.12/Tue Jan 31 14:26:06 2012//
/log-upper-18.tptp/1.16/Tue Jan 31 14:26:06 2012//
/log-upper-2.tptp/1.9/Thu Sep 11 16:01:53 2008//
/log-upper-20-cbrt.tptp/1.2/Fri Nov 11 11:47:47 2011//
/log-upper-20-weak.tptp/1.9/Fri Nov 11 11:47:47 2011//
/log-upper-20.tptp/1.12/Fri Nov 11 11:47:47 2011//
/log-upper-21-sqrt-weak.tptp/1.7/Tue Jan 31 14:26:06 2012//
/log-upper-21-sqrt-weak2.tptp/1.5/Tue Jan 31 14:26:06 2012//
/log-upper-21-sqrt.tptp/1.11/Tue Jan 31 14:26:06 2012//
/log-upper-21-weak.tptp/1.11/Tue Jan 31 14:26:06 2012//
/log-upper-21.tptp/1.16/Tue Jan 31 14:26:06 2012//
/log-upper-22-sqrt.tptp/1.5/Fri Sep 12 13:17:08 2008//
/log-upper-22.tptp/1.9/Fri Sep 12 13:17:08 2008//
/log-upper-23-cbrt.tptp/1.1/Tue May 31 16:17:26 2011//
/log-upper-23.tptp/1.9/Tue May 31 16:12:46 2011//
/log-upper-24.tptp/1.3/Fri Sep 12 13:17:08 2008//
/log-upper-25-weak.tptp/1.4/Tue Nov  1 14:57:24 2011//
/log-upper-25.tptp/1.8/Tue Nov  1 14:57:25 2011//
/log-upper-26.tptp/1.5/Fri Sep 12 13:17:08 2008//
/log-upper-27-sqrt-weak.tptp/1.1/Tue Nov  1 17:10:58 2011//
/log-upper-27-sqrt.tptp/1.1/Tue Nov  1 17:10:58 2011//
/log-upper-27-weak.tptp/1.5/Tue Nov  1 17:10:58 2011//
/log-upper-27.tptp/1.8/Tue Nov  1 17:10:58 2011//
/log-upper-28-weak.tptp/1.5/Fri Nov 11 11:47:47 2011//
/log-upper-28.tptp/1.8/Fri Nov 11 11:47:47 2011//
/log-upper-29.tptp/1.6/Thu Oct 14 13:58:50 2010//
/log-upper-3.tptp/1.8/Thu Sep 11 16:01:53 2008//
/log-upper-30-weak.tptp/1.5/Wed Nov  2 11:28:53 2011//
/log-upper-30.tptp/1.8/Wed Nov  2 17:35:49 2011//
/log-upper-4.tptp/1.10/Thu Sep 11 16:01:53 2008//
/log-upper-5.tptp/1.8/Thu Sep 11 16:01:53 2008//
/log-upper-6.tptp/1.8/Thu Sep 11 16:01:53 2008//
/log-upper-7.tptp/1.8/Thu Sep 11 16:01:54 2008//
/log-upper-8.tptp/1.8/Thu Sep 11 16:01:54 2008//
/log-upper-9.tptp/1.9/Thu Sep 11 16:01:54 2008//
/max-1.tptp/1.1/Tue Sep 27 09:51:58 2011//
/max-2.tptp/1.1/Tue Sep 27 09:51:58 2011//
/max-min-1.tptp/1.1/Tue Sep 27 09:51:58 2011//
/max-min-2.tptp/1.1/Tue Sep 27 09:51:58 2011//
/max-sin-1.tptp/1.1/Tue Sep 27 09:51:58 2011//
/max-sin-2.tptp/1.1/Tue Sep 27 09:51:58 2011//
/nfm-check-gain-1.tptp/1.4/Wed Mar 21 15:16:47 2012//
/nfm-check-gain-2.tptp/1.4/Wed Mar 21 15:16:47 2012//
/nfm-check-gain-3.tptp/1.4/Wed Mar 21 15:16:47 2012//
/nfm-lower-right-verify.tptp/1.4/Wed Mar 21 15:16:47 2012//
/nfm-middle-right-verify-1.tptp/1.2/Mon Feb 13 17:11:50 2012//
/nfm-middle-right-verify-2.tptp/1.2/Mon Feb 13 17:11:50 2012//
/nfm-middle-right-verify-3.tptp/1.2/Mon Feb 13 17:11:50 2012//
/nfm-upper-right-verify.tptp/1.4/Wed Mar 21 15:16:47 2012//
/polypaver-bench-exp-3d.tptp/1.1/Tue Oct  4 13:12:40 2011//
/polypaver-bench-exp.tptp/1.2/Mon Dec 12 15:14:36 2011//
/polypaver-bench-sqrt-3d.tptp/1.1/Tue Oct  4 13:12:40 2011//
/polypaver-bench-sqrt.tptp/1.3/Tue Dec 13 12:00:32 2011//
/polypaver-proval-cosine-abs.tptp/1.1/Tue Oct  4 13:12:40 2011//
/polypaver-proval-cosine.tptp/1.2/Fri Oct  7 10:45:18 2011//
/polypaver-sqrt-circles-1a.tptp/1.1/Tue Oct  4 13:12:40 2011//
/polypaver-sqrt-circles-2a.tptp/1.1/Tue Oct  4 13:12:40 2011//
/polypaver-sqrt43-int-3vars.tptp/1.1/Tue Oct  4 13:12:40 2011//
/polypaver-sqrt43-int-4vars.tptp/1.1/Tue Oct  4 13:12:40 2011//
/polypaver-sqrt43-int.tptp/1.1/Tue Oct  4 13:12:40 2011//
/polypaver-sqrt43.tptp/1.1/Tue Oct  4 13:12:40 2011//
/sin-3425a-1var.tptp/1.3/Fri Oct  7 10:46:25 2011//
/sin-3425a-weak.tptp/1.4/Sun Jun 26 15:44:33 2011//
/sin-3425a.tptp/1.6/Tue Dec 13 12:00:32 2011//
/sin-3425b-1var.tptp/1.3/Fri Oct  7 10:46:25 2011//
/sin-3425b-weak.tptp/1.3/Sun Jun 26 15:44:34 2011//
/sin-3425b.tptp/1.5/Wed Oct  5 17:35:17 2011//
/sin-3426-1a.tptp/1.1/Wed Oct 27 15:21:20 2010//
/sin-3426-1b.tptp/1.1/Wed Oct 27 15:21:20 2010//
/sin-3426-2a.tptp/1.2/Wed Jun 22 11:40:25 2011//
/sin-3426-2b.tptp/1.1/Wed Oct 27 15:21:20 2010//
/sin-3426-3a-weak.tptp/1.2/Mon Jun 13 15:23:10 2011//
/sin-3426-3a.tptp/1.3/Fri Aug  5 11:49:27 2011//
/sin-3426-3b-weak.tptp/1.1/Wed Oct 27 15:21:20 2010//
/sin-3426-3b.tptp/1.2/Mon Jun 13 15:23:10 2011//
/sin-3426-4a-weak.tptp/1.4/Mon Jun 13 15:23:10 2011//
/sin-3426-4a.tptp/1.1/Wed Oct 27 15:21:20 2010//
/sin-3426-4b-weak.tptp/1.6/Mon Jun 13 15:23:10 2011//
/sin-3426-4b.tptp/1.2/Fri Feb 11 16:58:33 2011//
/sin-344-2-weak.tptp/1.3/Tue Dec 13 12:00:32 2011//
/sin-344-2.tptp/1.3/Wed Nov  2 17:35:49 2011//
/sin-344-3-weak.tptp/1.1/Wed Nov  2 17:35:49 2011//
/sin-344-3.tptp/1.3/Wed Nov  2 17:35:49 2011//
/sin-344-4.tptp/1.3/Wed Nov  2 17:35:49 2011//
/sin-cos-2var1.tptp/1.3/Fri Jan  6 16:48:01 2012//
/sin-cos-2var2.tptp/1.2/Fri Jan  6 16:48:01 2012//
/sin-cos-2var3.tptp/1.5/Fri Jan  6 16:48:01 2012//
/sin-cos-2var4.tptp/1.1/Fri Jan  6 16:48:01 2012//
/sin-cos-2var5.tptp/1.1/Fri Jan  6 16:48:01 2012//
/sin-cos-2var6.tptp/1.1/Fri Jan  6 16:48:01 2012//
/sin-cos-2var7.tptp/1.1/Fri Jan  6 16:48:01 2012//
/sin-cos-2var8.tptp/1.1/Fri Jan  6 16:48:01 2012//
/sin-cos-2var9.tptp/1.1/Fri Jan  6 16:48:01 2012//
/sin-cos-346-a-sqrt.tptp/1.2/Thu Oct 21 13:06:17 2010//
/sin-cos-346-a.tptp/1.1/Tue Oct 19 12:53:21 2010//
/sin-cos-346-b-sqrt.tptp/1.3/Sun Jun 26 18:28:03 2011//
/sin-cos-346-b-weak.tptp/1.3/Sun Jun 26 18:28:03 2011//
/sin-cos-346-b.tptp/1.3/Mon Dec 12 15:14:36 2011//
/sin-cos-346-c.tptp/1.2/Tue Jul  5 15:38:53 2011//
/sin-cos-problem-1.tptp/1.6/Fri Sep 26 16:44:47 2008//
/sin-cos-problem-2.tptp/1.8/Wed Mar 31 18:20:28 2010//
/sin-cos-problem-3-weak.tptp/1.6/Wed Aug 11 15:24:33 2010//
/sin-cos-problem-3.tptp/1.10/Thu Nov  3 17:19:10 2011//
/sin-cos-problem-4.tptp/1.7/Wed Mar 31 18:20:28 2010//
/sin-cos-problem-5-weak.tptp/1.4/Fri Oct 17 16:20:31 2008//
/sin-cos-problem-5.tptp/1.7/Fri Nov 11 11:47:47 2011//
/sin-cos-problem-6.tptp/1.4/Wed Sep 10 11:53:30 2008//
/sin-cos-problem-7-weak.tptp/1.7/Wed Mar 21 15:16:48 2012//
/sin-cos-problem-7-weakest.tptp/1.3/Mon Jun 13 15:23:10 2011//
/sin-cos-problem-7.tptp/1.7/Mon Nov 14 16:52:01 2011//
/sin-cos-problem-Kubo-weak.tptp/1.2/Tue Oct 12 15:31:18 2010//
/sin-cos-problem-Kubo.tptp/1.2/Tue Oct 12 15:31:18 2010//
/sin-cos-problem-diff1a.tptp/1.4/Mon Jun 13 15:37:51 2011//
/sin-cos-problem-diff1b.tptp/1.4/Mon Jun 13 15:37:51 2011//
/sin-cos-problem-diff2a.tptp/1.3/Mon Jun 13 15:37:51 2011//
/sin-cos-problem-diff2b.tptp/1.3/Mon Jun 13 15:37:51 2011//
/sin-cos-problem-diff3a.tptp/1.4/Mon Jun 13 15:37:51 2011//
/sin-cos-problem-diff3b.tptp/1.4/Mon Jun 13 15:37:51 2011//
/sin-cos-problem-diff4a.tptp/1.1/Sun Jun 12 11:51:05 2011//
/sin-cos-problem-diff4b.tptp/1.1/Sun Jun 12 11:51:05 2011//
/sin-cos-problem-diff5a.tptp/1.1/Sun Jun 12 11:51:05 2011//
/sin-cos-problem-diff5b.tptp/1.1/Sun Jun 12 11:51:05 2011//
/sin-error-analysis-1.tptp/1.4/Wed Sep 10 11:53:30 2008//
/sin-error-analysis-2.tptp/1.5/Wed Sep 24 13:46:28 2008//
/sin-error-analysis-3.tptp/1.6/Wed Sep 24 13:46:28 2008//
/sin-error-analysis-4.tptp/1.5/Wed Sep 24 13:46:28 2008//
/sin-error-analysis-5.tptp/1.8/Wed Sep 10 11:53:30 2008//
/sin-error-analysis-6.tptp/1.4/Wed Sep 10 11:53:30 2008//
/sin-error-analysis-7.tptp/1.5/Fri Oct 17 16:20:31 2008//
/sin-error-analysis-Intel-1.tptp/1.1/Thu Feb 25 11:35:18 2010//
/sin-index-2.tptp/1.3/Mon Jun 13 15:23:11 2011//
/sin-index-3-weak.tptp/1.1/Tue Jan  4 16:50:46 2011//
/sin-index-3.tptp/1.2/Mon Jun 13 15:23:11 2011//
/sin-problem-1-weak.tptp/1.6/Mon Jun 13 15:23:11 2011//
/sin-problem-1.tptp/1.10/Fri Nov 11 11:47:47 2011//
/sin-problem-10-2-sqrt-weak.tptp/1.3/Mon Nov 14 16:52:01 2011//
/sin-problem-10-2-sqrt.tptp/1.2/Thu Nov  3 17:19:10 2011//
/sin-problem-10-2.tptp/1.3/Tue Dec 13 12:00:32 2011//
/sin-problem-10-3-cbrt-weak.tptp/1.3/Mon Nov 14 16:52:01 2011//
/sin-problem-10-3-cbrt.tptp/1.2/Thu Nov  3 17:19:10 2011//
/sin-problem-10-3.tptp/1.2/Thu Nov  3 17:19:10 2011//
/sin-problem-10.tptp/1.8/Thu Oct 21 13:05:20 2010//
/sin-problem-11.tptp/1.4/Tue Oct 12 15:31:18 2010//
/sin-problem-13.tptp/1.8/Fri Sep 26 16:44:47 2008//
/sin-problem-14.tptp/1.5/Fri Sep 26 16:44:47 2008//
/sin-problem-17.tptp/1.5/Sun Jun 26 16:23:06 2011//
/sin-problem-18-weak.tptp/1.3/Fri Nov  4 17:34:34 2011//
/sin-problem-18.tptp/1.9/Fri Nov  4 17:34:34 2011//
/sin-problem-2.tptp/1.7/Wed May 18 13:27:57 2011//
/sin-problem-3.tptp/1.8/Fri Sep 26 16:44:47 2008//
/sin-problem-4-weak.tptp/1.5/Mon Jun 13 15:23:11 2011//
/sin-problem-4.tptp/1.8/Fri Nov 11 11:47:47 2011//
/sin-problem-5-weak.tptp/1.1/Fri Oct 17 16:20:31 2008//
/sin-problem-5.tptp/1.7/Tue Oct 12 15:31:18 2010//
/sin-problem-6.tptp/1.5/Fri Sep 26 16:44:47 2008//
/sin-problem-7-weak.tptp/1.10/Tue Dec 13 12:00:32 2011//
/sin-problem-7-weak2.tptp/1.5/Tue Dec 13 12:00:32 2011//
/sin-problem-7.tptp/1.7/Fri Nov  4 17:34:34 2011//
/sin-problem-8-weak.tptp/1.6/Fri Nov  4 17:34:34 2011//
/sin-problem-8.tptp/1.6/Wed Jun 22 11:40:25 2011//
/sin-problem-9.tptp/1.5/Fri Oct 17 16:20:32 2008//
/sin-recip-1.tptp/1.5/Mon Jun 13 15:23:11 2011//
/sin-recip-2.tptp/1.3/Wed May 25 13:42:57 2011//
/sin-recip-3.tptp/1.4/Wed May 25 13:42:57 2011//
/sin-recip-4.tptp/1.3/Wed May 25 13:42:57 2011//
/sqrt-1mcosq-1.tptp/1.2/Mon Jun 13 15:23:11 2011//
/sqrt-1mcosq-2.tptp/1.2/Mon Jun 13 15:23:11 2011//
/sqrt-1mcosq-3.tptp/1.1/Thu May 19 10:35:44 2011//
/sqrt-1mcosq-4-weak.tptp/1.2/Mon Jun 13 15:23:11 2011//
/sqrt-1mcosq-4.tptp/1.2/Mon Jun 13 15:23:11 2011//
/sqrt-1mcosq-5-weak.tptp/1.1/Thu May 19 10:35:45 2011//
/sqrt-1mcosq-5.tptp/1.3/Mon Jul 11 10:56:06 2011//
/sqrt-1mcosq-6.tptp/1.1/Thu May 19 10:35:45 2011//
/sqrt-1mcosq-7-weak.tptp/1.3/Fri Nov  4 17:34:34 2011//
/sqrt-1mcosq-7.tptp/1.2/Fri Nov  4 17:34:35 2011//
/sqrt-1mcosq-8-weak.tptp/1.3/Mon Jun 13 15:23:11 2011//
/sqrt-1mcosq-8.tptp/1.1/Thu May 19 10:35:45 2011//
/sqrt-circles-1.tptp/1.1/Wed Sep  7 13:45:52 2011//
/sqrt-circles-2.tptp/1.1/Wed Sep  7 13:45:52 2011//
/sqrt-circles-3.tptp/1.1/Wed Sep  7 13:45:52 2011//
/sqrt-cos-problem-1-2vars.tptp/1.2/Tue Jul  5 15:38:53 2011//
/sqrt-cos-problem-1.tptp/1.2/Tue Jul  5 15:38:53 2011//
/sqrt-cos-problem-2-2vars.tptp/1.1/Thu May 19 10:35:45 2011//
/sqrt-cos-problem-2.tptp/1.2/Mon Jun 13 15:23:11 2011//
/sqrt-problem-1.tptp/1.7/Wed Sep 10 11:53:31 2008//
/sqrt-problem-10.tptp/1.4/Fri Sep 26 16:44:47 2008//
/sqrt-problem-11.tptp/1.4/Fri Sep 26 16:44:47 2008//
/sqrt-problem-12.tptp/1.5/Mon Dec 12 15:14:36 2011//
/sqrt-problem-12vars2.tptp/1.2/Tue Jan 11 16:53:15 2011//
/sqrt-problem-12vars3.tptp/1.2/Tue Jan 11 16:53:15 2011//
/sqrt-problem-13-sqrt1.tptp/1.1/Tue Sep 28 16:09:09 2010//
/sqrt-problem-13-sqrt2.tptp/1.1/Tue Sep 28 16:09:09 2010//
/sqrt-problem-13-sqrt3.tptp/1.5/Mon Jun 13 15:23:11 2011//
/sqrt-problem-13-vars5.tptp/1.3/Tue Dec 13 12:00:32 2011//
/sqrt-problem-13.tptp/1.1/Tue Sep 28 16:09:09 2010//
/sqrt-problem-2.tptp/1.7/Wed Sep 10 11:53:31 2008//
/sqrt-problem-3.tptp/1.5/Wed Sep 10 11:53:31 2008//
/sqrt-problem-8.tptp/1.4/Wed Sep 10 11:53:31 2008//
/sqrt-problem-Melquiond-weak.tptp/1.2/Mon Nov  7 16:53:44 2011//
/sqrt-problem-Melquiond.tptp/1.4/Mon Nov  7 16:53:45 2011//
/sqrt-problem-Melquiond2.tptp/1.6/Mon Jul 18 10:53:13 2011//
/sqrt-problem-Melquiond3.tptp/1.2/Tue Jan 11 16:53:15 2011//
/tan-1-1var-pi.tptp/1.2/Mon Jun 13 15:23:11 2011//
/tan-1-1var-weak.tptp/1.4/Wed Jun 22 10:28:02 2011//
/tan-1-1var.tptp/1.5/Wed Jun 22 10:27:11 2011//
/tan-1-2var.tptp/1.2/Tue Oct 12 15:31:18 2010//
/tan-2-2var-weak.tptp/1.3/Mon Jun 13 15:23:11 2011//
/tan-2-2var-weak2.tptp/1.3/Mon Jul 11 10:56:06 2011//
/tan-2-2var.tptp/1.3/Wed Jun 22 11:40:25 2011//
/tan-3428a.tptp/1.3/Fri Feb 11 16:58:33 2011//
/tan-3428b.tptp/1.3/Mon Jun 13 15:23:11 2011//
/tan-3428c.tptp/1.1/Thu Oct 28 12:14:14 2010//
/tan-3428d.tptp/1.2/Tue Jan 18 14:20:59 2011//
/tan-3428e.tptp/1.1/Sat Oct 30 12:40:57 2010//
/tan-problem-1-sin-weak.tptp/1.2/Thu Oct 28 18:16:02 2010//
/tan-problem-1-sin.tptp/1.2/Tue Oct 12 15:31:18 2010//
/tan-problem-1-weak.tptp/1.3/Thu Oct 28 18:16:02 2010//
/tan-problem-1.tptp/1.2/Wed Nov  9 14:58:29 2011//
/tan-problem-2.tptp/1.2/Thu Oct 28 18:16:02 2010//
/tan-problem-3-weak.tptp/1.1/Wed Mar 31 18:20:28 2010//
/tan-problem-3.tptp/1.3/Fri Nov 11 11:47:47 2011//
/tan-problem-4.tptp/1.1/Wed Mar 31 18:20:28 2010//
/tan-problem-5-weak.tptp/1.7/Mon Jun 13 15:23:11 2011//
/tan-problem-5.tptp/1.2/Tue Oct 12 15:31:18 2010//
/tan-problem-6-weak.tptp/1.3/Mon Jun 27 07:45:10 2011//
/tan-problem-6.tptp/1.4/Fri Nov 11 11:47:47 2011//
/tan-problem-7-weak.tptp/1.2/Thu Oct 28 18:16:02 2010//
/tan-problem-7.tptp/1.3/Fri Nov 11 11:47:47 2011//
/tan-problem-8.tptp/1.2/Thu Oct 28 18:16:02 2010//
/tan-problem-9.tptp/1.2/Thu Sep 22 15:05:50 2011//
/tanh-1.tptp/1.1/Wed Mar 24 12:33:29 2010//
/tanh-1b.tptp/1.1/Fri Mar 26 14:40:20 2010//
/tanh-2-weak.tptp/1.1/Wed Mar 24 12:33:29 2010//
/tanh-2.tptp/1.3/Fri Nov 11 11:47:47 2011//
/tanh-3-weak.tptp/1.1/Wed Mar 24 12:33:29 2010//
/tanh-3.tptp/1.3/Fri Nov 11 11:47:47 2011//
/tanh-3610.tptp/1.1/Thu Nov 25 16:02:50 2010//
/tanh-3611.tptp/1.1/Thu Nov 25 16:02:50 2010//
/tanh-4-weak.tptp/1.1/Wed Mar 24 12:33:29 2010//
/tanh-4.tptp/1.3/Fri Nov 11 11:47:47 2011//
/tanh-5-2var-sinh.tptp/1.3/Mon Jun 13 15:23:11 2011//
/tanh-5.tptp/1.2/Tue Mar 30 12:46:56 2010//
/tanh-5b.tptp/1.2/Tue Mar 30 12:46:56 2010//
/tanh-6-2var.tptp/1.4/Mon Jun 13 15:23:11 2011//
/tanh-7-weak.tptp/1.1/Fri Mar 26 14:40:20 2010//
/tanh-7.tptp/1.3/Fri Nov 11 11:47:47 2011//
/tanh-8-weak.tptp/1.2/Tue Mar 30 12:46:56 2010//
/tanh-8-weak2.tptp/1.3/Wed Mar 31 21:36:36 2010//
/tanh-8.tptp/1.4/Fri Nov 11 11:47:47 2011//
/tanh-9-sinh.tptp/1.3/Fri Nov 11 11:47:47 2011//
/tanh-9-weak.tptp/1.3/Mon Jun 13 15:23:11 2011//
/tanh-9-weak2.tptp/1.3/Mon Jun 13 15:23:11 2011//
/trig-squared1.tptp/1.1/Tue Jan 17 17:18:54 2012//
/trig-squared2.tptp/1.1/Tue Jan 17 17:18:54 2012//
/trig-squared3.tptp/1.1/Tue Jan 17 17:18:54 2012//
/trig-squared4.tptp/1.1/Tue Jan 17 17:18:54 2012//
/trig-squared5.tptp/1.1/Tue Jan 17 17:18:54 2012//
/trig-squared6.tptp/1.1/Tue Jan 17 17:18:54 2012//
/trigpoly-351-1a.tptp/1.4/Wed Nov  9 14:58:29 2011//
/trigpoly-351-1b.tptp/1.4/Wed Nov  9 14:58:29 2011//
/trigpoly-351-2a.tptp/1.4/Wed Nov  9 14:58:29 2011//
/trigpoly-351-2b.tptp/1.4/Wed Nov  9 14:58:29 2011//
/trigpoly-351-3a-weak.tptp/1.1/Wed Nov  9 14:58:29 2011//
/trigpoly-351-3a.tptp/1.5/Wed Nov  9 14:58:29 2011//
/trigpoly-351-3b-weak.tptp/1.1/Wed Nov  9 14:58:29 2011//
/trigpoly-351-3b.tptp/1.5/Wed Nov  9 14:58:29 2011//
/trigpoly-3510-2.tptp/1.2/Mon Nov 15 17:08:57 2010//
/trigpoly-3510-3.tptp/1.2/Mon Nov 15 17:08:57 2010//
/trigpoly-3510-4.tptp/1.2/Mon Nov 15 17:08:57 2010//
/trigpoly-3510-5-weak.tptp/1.1/Wed Nov  9 14:58:29 2011//
/trigpoly-3510-5.tptp/1.3/Wed Nov  9 14:58:29 2011//
/trigpoly-3512-2.tptp/1.3/Fri Feb 11 16:58:33 2011//
/trigpoly-3512-3.tptp/1.3/Fri Feb 11 16:58:34 2011//
/trigpoly-3512-4-weak.tptp/1.2/Wed Nov  9 14:58:29 2011//
/trigpoly-3512-4.tptp/1.2/Wed Nov  9 14:58:29 2011//
/trigpoly-3512-5-weak.tptp/1.3/Wed Nov  9 14:58:29 2011//
/trigpoly-3512-5.tptp/1.2/Wed Nov  9 14:58:29 2011//
/trigpoly-3514-2.tptp/1.2/Fri Feb 11 16:58:34 2011//
/trigpoly-3514-3.tptp/1.2/Fri Feb 11 16:58:34 2011//
/trigpoly-3514-4.tptp/1.2/Fri Feb 11 16:58:34 2011//
/trigpoly-3515-2.tptp/1.1/Fri Nov 19 16:58:41 2010//
/trigpoly-3515-3.tptp/1.3/Fri Jun 17 16:02:49 2011//
/trigpoly-3515-4.tptp/1.2/Mon Jun 13 15:23:12 2011//
/trigpoly-352-1-weak.tptp/1.2/Wed Nov  9 14:58:29 2011//
/trigpoly-352-1.tptp/1.3/Wed Nov  9 14:58:29 2011//
/trigpoly-352-2-weak.tptp/1.1/Wed Nov  9 14:58:29 2011//
/trigpoly-352-2.tptp/1.2/Wed Nov  9 14:58:29 2011//
/trigpoly-355-3.tptp/1.3/Sun Jun 12 10:26:23 2011//
/trigpoly-355-4.tptp/1.3/Sun Jun 12 10:26:23 2011//
/trigpoly-355-5.tptp/1.3/Sun Jun 12 10:26:23 2011//
/trigpoly-355-6.tptp/1.3/Sun Jun 12 10:26:23 2011//
/trigpoly-356-3a-sin2x.tptp/1.2/Wed Nov  9 14:58:29 2011//
/trigpoly-356-3a.tptp/1.2/Wed Nov  9 14:58:30 2011//
/trigpoly-356-3b-sin2x.tptp/1.2/Wed Nov  9 14:58:30 2011//
/trigpoly-356-3b.tptp/1.2/Wed Nov  9 14:58:30 2011//
/trigpoly-356-4a-sin2x.tptp/1.2/Wed Nov  9 14:58:30 2011//
/trigpoly-356-4a.tptp/1.2/Wed Nov  9 14:58:30 2011//
/trigpoly-356-4b-sin2x.tptp/1.2/Wed Nov  9 14:58:30 2011//
/trigpoly-356-4b.tptp/1.1/Thu Nov 11 16:11:09 2010//
/trigpoly-356-5a-pi.tptp/1.3/Wed Nov  9 14:58:30 2011//
/trigpoly-356-5a.tptp/1.2/Wed Nov  9 14:58:30 2011//
/trigpoly-356-5b-pi.tptp/1.3/Wed Nov  9 14:58:30 2011//
/trigpoly-356-5b.tptp/1.2/Wed Nov  9 14:58:30 2011//
/trigpoly-356-6a-pi.tptp/1.4/Wed Nov  9 14:58:30 2011//
/trigpoly-356-6a.tptp/1.2/Wed Nov  9 14:58:30 2011//
/trigpoly-356-6b-pi.tptp/1.3/Wed Nov  9 14:58:30 2011//
/trigpoly-356-6b.tptp/1.2/Wed Nov  9 14:58:30 2011//
/trigpoly-357-3-sqrt.tptp/1.1/Thu Nov 11 16:11:10 2010//
/trigpoly-357-3.tptp/1.1/Thu Nov 11 16:11:10 2010//
/trigpoly-357-5-sqrt.tptp/1.1/Thu Nov 11 16:11:10 2010//
/trigpoly-357-5.tptp/1.1/Thu Nov 11 16:11:10 2010//
/trigpoly-359-2-weak.tptp/1.4/Sat Jun 18 08:38:18 2011//
/trigpoly-359-2.tptp/1.4/Sat Jun 18 08:38:19 2011//
/trigpoly-359-3-weak.tptp/1.3/Wed Nov  9 14:58:30 2011//
/trigpoly-359-3.tptp/1.1/Mon Nov 15 15:26:52 2010//
/two-variable-problem-1.tptp/1.11/Thu Sep 11 16:01:54 2008//
/two-variable-problem-2.tptp/1.10/Fri Sep 26 16:44:47 2008//
/two-variable-problem-3-weak.tptp/1.7/Fri Nov 11 11:47:47 2011//
/two-variable-problem-3-weak2.tptp/1.3/Fri Oct  7 10:50:25 2011//
/two-variable-problem-3.tptp/1.6/Wed Nov  9 16:32:57 2011//
/two-variable-problem-6.tptp/1.5/Thu Dec 18 15:41:48 2008//
/two-variable-problem-7-weak.tptp/1.5/Wed Jun  1 10:54:33 2011//
/two-variable-problem-7.tptp/1.6/Wed Jun  1 10:54:33 2011//
/two-variable-problem-9.tptp/1.3/Thu Oct 14 13:58:50 2010//
D
