Read-only observation on 2026-09-08
File: /var/www/test2.atp-research.com/wp-content/themes/lightning/mathelia/thmel/default.thmel
SHA256: ceea4ef732342cfef442a7714302c24497e9611a5d1c975ffc7624f5d252ae22
Active lines (comments omitted):
backend p=prover+ v=vampire+ h=hyperion
target p v h
sort s c f
translate 1 sc
inference goal -| sos <-> goal|1 ◀1 sos|1
inference goal --| sos <-> goal|sc ◀ sos|sc
prover9 search:seconds 10
vampire search:seconds 20
prover+ problem:split
This is not an audit of the PHP implementation.
