|Re: Max Datapool records [message #42743 is a reply to message #42111]
||Thu, 24 November 2005 12:46
| Paul Slauenwhite
Registered: July 2009
There are two problems with a single datapool containing 250,000
1) Creating the CSV file using spreadsheet applications may be problematic
due to the upper bound for table rows. For example, Microsoft Excel limits
the number of rows to 65,536 and the number of columns to 256.
2) Although there is no theoretical upper bound to the number of records in
a CSV used to create a TPTP datapool (aside from memory and disk space
constraints), using the TPTP v4.1 driver the performance is not scalable.
For 65,536 records (one column), it took ~10 minutes for the import and
every save. I have opened defect
https://bugs.eclipse.org/bugs/show_bug.cgi?id=117932 to examine these
"David Murley" <email@example.com> wrote in message
> What is the maximum number of records that can be stored in a datapool?
> largest test data set has approx 250,000 records)
Powered by FUDForum
. Page generated in 0.02583 seconds