detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50023.cvc.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50022.cvc.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50020.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50019.cvc.smt2 (content) unsat unsat 0.052s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50018.cvc.smt2 (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50017.cvc.smt2 (content) unsat unsat 0.041s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50016.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50013.cvc.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50011.cvc.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50009.cvc.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50008.cvc.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50007.cvc.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50006.cvc.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50005.cvc.smt2 (content) unsat unsat 0.085s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50003.cvc.smt2 (content) unsat unsat 0.051s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50002.cvc.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50001.cvc.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40099.cvc.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40098.cvc.smt2 (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40096.cvc.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40095.cvc.smt2 (content) unsat unsat 0.052s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40093.cvc.smt2 (content) unsat unsat 0.070s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40092.cvc.smt2 (content) unsat unsat 0.082s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40091.cvc.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40087.cvc.smt2 (content) unsat unsat 0.044s