detailed results (3 total)

proverfileresexpectedtime
sidekicktests/unsat/v1l50092.cvc.smt2(content)satunsat0.018s
sidekicktests/unsat/data_acycl_if.smt2(content)satunsat0.009s
sidekicktests/unsat/data_acycl1.smt2(content)satunsat0.013s