detailed results (2043 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70082.cvc.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70081.cvc.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70077.cvc.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70076.cvc.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70071.cvc.smt2 (content) unknown unsat 10s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70066.cvc.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70063.cvc.smt2 (content) unknown unsat 10s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70060.cvc.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70056.cvc.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70055.cvc.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70053.cvc.smt2 (content) unknown unsat 10.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70051.cvc.smt2 (content) unknown unsat 10s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70047.cvc.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70045.cvc.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70041.cvc.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70040.cvc.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70031.cvc.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70025.cvc.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70021.cvc.smt2 (content) unknown unsat 10.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70020.cvc.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70017.cvc.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70012.cvc.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70011.cvc.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70010.cvc.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70009.cvc.smt2 (content) unknown unsat 10.9s