Benchmark
SMT-LIB
The standard input language and benchmark library for SMT solvers. It contains a large number of instances from industry and academia, covering theories such as arrays, arithmetic and bit-vectors, and is used to evaluate solver performance.
Timeline (last 90 days)
Oct 30
The paper evaluates LinguaArray on 1015 SMT-LIB instances under five logics, with a timeout set to 1200 seconds (including LLM latency).
Unverified50%