detailed results (3762 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70020.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70018.cvc.smt2 (content) unsat unsat 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70016.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70015.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70014.cvc.smt2 (content) unsat unsat 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70012.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70010.cvc.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70008.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70007.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70006.cvc.smt2 (content) unsat unsat 0.033s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70005.cvc.smt2 (content) unsat unsat 0.033s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70004.cvc.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70003.cvc.smt2 (content) unsat unsat 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70002.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70001.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60097.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60095.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60094.cvc.smt2 (content) unsat unsat 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60093.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60092.cvc.smt2 (content) unsat unsat 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60091.cvc.smt2 (content) unsat unsat 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60090.cvc.smt2 (content) unsat unsat 0.033s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60088.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60087.cvc.smt2 (content) unsat unsat 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60085.cvc.smt2 (content) unsat unsat 0.032s