detailed results (150 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90061.cvc.smt2 (content) error unsat 0.009s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90061.cvc.smt2 (content) timeout unsat 13.3s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90061.cvc.smt2 (content) unsat unsat 0.071s
mc2 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80050.cvc.smt2 (content) error unsat 0.009s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80050.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80050.cvc.smt2 (content) unsat unsat 0.127s
mc2 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l30004.cvc.smt2 (content) error sat 0.010s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l30004.cvc.smt2 (content) timeout sat 12.8s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l30004.cvc.smt2 (content) sat sat 0.075s
mc2 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l20071.cvc.smt2 (content) error sat 0.017s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l20071.cvc.smt2 (content) timeout sat 13.5s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l20071.cvc.smt2 (content) sat sat 0.070s
mc2 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90002.cvc.smt2 (content) error unsat 0.009s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90002.cvc.smt2 (content) timeout unsat 11.3s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90002.cvc.smt2 (content) unsat unsat 0.047s
mc2 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80082.cvc.smt2 (content) error sat 0.016s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80082.cvc.smt2 (content) timeout sat 12.0s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80082.cvc.smt2 (content) sat sat 0.053s
mc2 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70100.cvc.smt2 (content) error unsat 0.009s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70100.cvc.smt2 (content) timeout unsat 12.7s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70100.cvc.smt2 (content) unsat unsat 0.049s
mc2 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70055.cvc.smt2 (content) error unsat 0.014s
sidekick /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70055.cvc.smt2 (content) timeout unsat 11.1s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70055.cvc.smt2 (content) unsat unsat 0.065s
mc2 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l60069.cvc.smt2 (content) error unsat 0.008s