From Christian.Maeder at dfki.de  Wed May 28 11:11:24 2008
From: Christian.Maeder at dfki.de (Christian Maeder)
Date: Wed, 28 May 2008 11:11:24 +0200
Subject: [Hets-devel] consistency checks
Message-ID: <483D21BC.9030406@dfki.de>

Hi,

I used to check the consistency of our basic library and user manual 
specs with SPASS by creating 1847 dfg.c files (created by hets -v2 -o 
dfg.c ...) with a time limit of 500 seconds.

Yesterday I've switched to using Darwin with a time limit of 10 seconds 
and tptp.c files. (utils/nightly/linux/runDarwin.sh)

While SPASS found 550 completions (in 10 days), Darwin found for 895 
cases finite models (in 5 hours)!

(I'll try if 10 or 500 seconds makes a difference at all)

Cheers Christian