detailed results (8000 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90026.cvc.smt2 (content) unsat unsat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90025.cvc.smt2 (content) unsat unsat 0.060s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90024.cvc.smt2 (content) unsat unsat 0.066s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90023.cvc.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90022.cvc.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90021.cvc.smt2 (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90020.cvc.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90019.cvc.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90018.cvc.smt2 (content) unsat unsat 0.092s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90017.cvc.smt2 (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90016.cvc.smt2 (content) unsat unsat 0.084s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90015.cvc.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90014.cvc.smt2 (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90013.cvc.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90012.cvc.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90011.cvc.smt2 (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90010.cvc.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90009.cvc.smt2 (content) unsat unsat 0.066s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90008.cvc.smt2 (content) unsat unsat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90007.cvc.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90006.cvc.smt2 (content) unsat unsat 0.066s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90005.cvc.smt2 (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90004.cvc.smt2 (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90003.cvc.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l90002.cvc.smt2 (content) unsat unsat 0.082s