FacT++ does not seem to take the testTimeout parameter into account
Original [issue 26](https://code.google.com/p/factplusplus/issues/detail?id=26) created by dtsarkov on 2010-05-14T14:19:02.000Z:
I'd like to run FaCT++ from the commandline with a timeout parameter for benchmarking purposes.
Attached is the TEST.conf file that I use with FaCT++ to check for TBox satisfiability of TEST.tbox (also attached). The TEST.conf file contains the lines:
''' [Tuning] testTimeout = 10 '''
However, FaCT++ can run for more than three minutes even with such a configuration file. What am I doing wrong ?
I'm using FaCT++ 1.4.0 on Ubuntu Linux 10.04.
Comments (4)
-
reporter -
reporter Comment [
#2](https://code.google.com/p/factplusplus/issues/detail?id=26#c2) originally posted by dtsarkov on 2010-05-17T14:47:20.000Z:Fixed in the SVN.
-
reporter Comment [
#3](https://code.google.com/p/factplusplus/issues/detail?id=26#c3) originally posted by dtsarkov on 2010-05-17T14:59:04.000Z:Sorry to insist, but what should be the syntax? I have just compiled the SVN version and now I'm getting instant timeouting even with 10 seconds of specified timeout.
-
reporter Comment [
#4](https://code.google.com/p/factplusplus/issues/detail?id=26#c4) originally posted by dtsarkov on 2010-05-17T15:06:54.000Z:OK I got it while reading the source code, it had to be given in milliseconds.
- Log in to comment
Comment [
#1](https://code.google.com/p/factplusplus/issues/detail?id=26#c1) originally posted by dtsarkov on 2010-05-15T14:03:36.000Z:Thanks; indeed, the timeout value is overwritten later.