Testrun from Sun May 25 21:54:06 CEST 2008 on michelangelo.local No information given :
========
BOO001-1+rm_eq_rstfp.lop

# Proof found!
# SZS status Unsatisfiable

real	0m0.013s
user	0m0.008s
sys	0m0.005s
========
BOO007-2+rm_eq_rstfp.lop
eprover: Cannot open file BOO007-2+rm_eq_rstfp.lop for reading
eprover: No such file or directory

real	0m0.005s
user	0m0.001s
sys	0m0.003s
========
GRP119-1+rm_eq_rstfp.lop
eprover: Cannot open file GRP119-1+rm_eq_rstfp.lop for reading
eprover: No such file or directory

real	0m0.004s
user	0m0.001s
sys	0m0.003s
========
LUSK3.lop

# Proof found!
# SZS status Unsatisfiable

real	0m0.022s
user	0m0.016s
sys	0m0.005s
========
GROUP.lop

# No proof found!
# SZS status Satisfiable

real	0m0.014s
user	0m0.008s
sys	0m0.005s
====================
