detailed results (4422 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80028.cvc.smt2 (content) unsat unsat 0.008s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80025.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80024.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80023.cvc.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80022.cvc.smt2 (content) unsat unsat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80021.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80020.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80019.cvc.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80018.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80017.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80016.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80015.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80013.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80012.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80011.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80010.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80009.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80006.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80004.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80002.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70100.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70099.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70098.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70095.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70092.cvc.smt2 (content) unsat unsat 0.010s