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_v2l40069.cvc.smt2 (content) unknown sat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40068.cvc.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40066.cvc.smt2 (content) unknown sat 10.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40064.cvc.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40063.cvc.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40062.cvc.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40060.cvc.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40059.cvc.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40058.cvc.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40055.cvc.smt2 (content) unknown sat 10.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40054.cvc.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40053.cvc.smt2 (content) unknown sat 10.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40051.cvc.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40050.cvc.smt2 (content) unknown sat 10.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40048.cvc.smt2 (content) unknown unsat 10.0s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40047.cvc.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40046.cvc.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40042.cvc.smt2 (content) unknown sat 10.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40038.cvc.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40037.cvc.smt2 (content) unknown sat 10s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40035.cvc.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40033.cvc.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40032.cvc.smt2 (content) unknown sat 10s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40030.cvc.smt2 (content) unknown sat 10.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40029.cvc.smt2 (content) unknown sat 10.9s