detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90012.cvc.smt2 (content) unsat unknown 0.019s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90011.cvc.smt2 (content) unsat unknown 0.034s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90010.cvc.smt2 (content) unsat unknown 0.027s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90009.cvc.smt2 (content) unsat unknown 0.029s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90008.cvc.smt2 (content) unsat unknown 0.033s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90007.cvc.smt2 (content) unsat unknown 0.024s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90006.cvc.smt2 (content) unsat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90005.cvc.smt2 (content) unsat unknown 0.026s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90004.cvc.smt2 (content) unsat unknown 0.018s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90003.cvc.smt2 (content) unsat unknown 0.035s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90002.cvc.smt2 (content) unsat unknown 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90001.cvc.smt2 (content) unsat unknown 0.026s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80100.cvc.smt2 (content) unsat unknown 0.030s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80099.cvc.smt2 (content) unsat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80098.cvc.smt2 (content) unsat unknown 0.031s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80097.cvc.smt2 (content) unsat unknown 0.024s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80096.cvc.smt2 (content) unsat unknown 0.027s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80095.cvc.smt2 (content) unsat unknown 0.021s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80094.cvc.smt2 (content) unsat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80092.cvc.smt2 (content) unsat unknown 0.028s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80091.cvc.smt2 (content) unsat unknown 0.019s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80090.cvc.smt2 (content) unsat unknown 0.026s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80089.cvc.smt2 (content) unsat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80088.cvc.smt2 (content) unsat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80087.cvc.smt2 (content) unsat unknown 0.025s