detailed results (8 total)

prover file res expected time
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90010.cvc.smt2 (content) sat unsat 0.014s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50089.cvc.smt2 (content) sat unsat 0.017s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90084.cvc.smt2 (content) sat unsat 0.014s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60068.cvc.smt2 (content) sat unsat 0.017s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l50028.cvc.smt2 (content) sat unsat 0.016s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20016.cvc.smt2 (content) sat unsat 0.031s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70025.cvc.smt2 (content) sat unsat 0.015s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30063.cvc.smt2 (content) sat unsat 0.017s