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

[GoogleCodeExporter]

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.

Original issue reported on code.google.com by guilla...@gmail.com on 14 May 2010 at 2:19

Attachments:

• TEST.tbox
• TEST.conf

[GoogleCodeExporter]

Thanks; indeed, the timeout value is overwritten later.

Original comment by dmitry.t...@gmail.com on 15 May 2010 at 2:03

• Changed state: Started
• Added labels: Priority-Low
• Removed labels: Priority-Medium

[GoogleCodeExporter]

Fixed in the SVN.

Original comment by dmitry.t...@gmail.com on 17 May 2010 at 2:47

• Changed state: Fixed

[GoogleCodeExporter]

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.

Original comment by guilla...@gmail.com on 17 May 2010 at 2:59

[GoogleCodeExporter]

OK I got it while reading the source code, it had to be given in milliseconds.

Original comment by guilla...@gmail.com on 17 May 2010 at 3:06