detailed results (4422 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20087.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20084.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20082.cvc.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20081.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20079.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20071.cvc.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20070.cvc.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20063.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20061.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20058.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20055.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20050.cvc.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20048.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20047.cvc.smt2 (content) unsat unsat 0.036s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20046.cvc.smt2 (content) unsat unsat 0.039s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20043.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20041.cvc.smt2 (content) unsat unsat 0.036s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20040.cvc.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20038.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20037.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20036.cvc.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20035.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20034.cvc.smt2 (content) unsat unsat 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20030.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20028.cvc.smt2 (content) unsat unsat 0.027s