detailed results (8000 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80001.cvc.smt2 (content) sat unknown 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70100.cvc.smt2 (content) unsat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70099.cvc.smt2 (content) unsat unknown 0.026s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70098.cvc.smt2 (content) unsat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70097.cvc.smt2 (content) sat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70096.cvc.smt2 (content) sat unknown 0.032s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70095.cvc.smt2 (content) unsat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70094.cvc.smt2 (content) sat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70093.cvc.smt2 (content) sat unknown 0.024s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70092.cvc.smt2 (content) unsat unknown 0.027s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70091.cvc.smt2 (content) unsat unknown 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70090.cvc.smt2 (content) sat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70089.cvc.smt2 (content) sat unknown 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70088.cvc.smt2 (content) sat unknown 0.029s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70087.cvc.smt2 (content) sat unknown 0.058s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70086.cvc.smt2 (content) sat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70085.cvc.smt2 (content) unsat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70084.cvc.smt2 (content) sat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70083.cvc.smt2 (content) unsat unknown 0.038s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70082.cvc.smt2 (content) unsat unknown 0.021s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70081.cvc.smt2 (content) unsat unknown 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70080.cvc.smt2 (content) unsat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70079.cvc.smt2 (content) unsat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70078.cvc.smt2 (content) unsat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70077.cvc.smt2 (content) unsat unknown 0.026s