detailed results (8000 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90001.cvc.smt2 (content) sat sat 0.045s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80100.cvc.smt2 (content) unsat unsat 0.083s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80099.cvc.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80098.cvc.smt2 (content) unsat unsat 0.128s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80097.cvc.smt2 (content) unsat unsat 0.066s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80096.cvc.smt2 (content) sat sat 0.089s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80095.cvc.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80094.cvc.smt2 (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80093.cvc.smt2 (content) unsat unsat 0.094s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80092.cvc.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80091.cvc.smt2 (content) sat sat 0.052s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80090.cvc.smt2 (content) unsat unsat 0.094s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80089.cvc.smt2 (content) sat sat 0.093s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80088.cvc.smt2 (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80087.cvc.smt2 (content) sat sat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80086.cvc.smt2 (content) sat sat 0.038s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80085.cvc.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80084.cvc.smt2 (content) sat sat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80083.cvc.smt2 (content) unsat unsat 0.084s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80082.cvc.smt2 (content) unsat unsat 0.039s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80081.cvc.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80080.cvc.smt2 (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80079.cvc.smt2 (content) unsat unsat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80078.cvc.smt2 (content) unsat unsat 0.095s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80077.cvc.smt2 (content) unsat unsat 0.116s