FacT++ does not seem to take the testTimeout parameter into account

[Dmitry Tsarkov]

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.

[Dmitry Tsarkov]

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.

[Dmitry Tsarkov]

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.

[Dmitry Tsarkov]

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.

[Dmitry Tsarkov]

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.