detailed results (2043 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30025.cvc.smt2 (content) unknown sat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30024.cvc.smt2 (content) unknown sat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30023.cvc.smt2 (content) unknown sat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30022.cvc.smt2 (content) unknown sat 10.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30021.cvc.smt2 (content) unknown sat 10.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30012.cvc.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30011.cvc.smt2 (content) unknown sat 10.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30010.cvc.smt2 (content) unknown sat 10.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30009.cvc.smt2 (content) unknown sat 10.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30008.cvc.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30007.cvc.smt2 (content) unknown sat 10.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30005.cvc.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30004.cvc.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30003.cvc.smt2 (content) unknown sat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20099.cvc.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20095.cvc.smt2 (content) unknown sat 10.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20094.cvc.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20091.cvc.smt2 (content) unknown sat 10.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20089.cvc.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20088.cvc.smt2 (content) unknown unsat 10.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20087.cvc.smt2 (content) unknown unsat 10.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20083.cvc.smt2 (content) unknown sat 10.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20081.cvc.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20076.cvc.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20073.cvc.smt2 (content) unknown sat 10.6s