detailed results (4422 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50006.cvc.smt2 (content) unsat unsat 0.015s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50004.cvc.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40100.cvc.smt2 (content) unsat unsat 0.015s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40095.cvc.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40092.cvc.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40082.cvc.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40081.cvc.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40078.cvc.smt2 (content) unsat unsat 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40072.cvc.smt2 (content) unsat unsat 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40070.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40065.cvc.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40063.cvc.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40062.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40060.cvc.smt2 (content) unsat unsat 0.015s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40058.cvc.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40051.cvc.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40050.cvc.smt2 (content) unsat unsat 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40038.cvc.smt2 (content) unsat unsat 0.019s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40034.cvc.smt2 (content) unsat unsat 0.015s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40032.cvc.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40031.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40030.cvc.smt2 (content) unsat unsat 0.014s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40028.cvc.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40027.cvc.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40019.cvc.smt2 (content) unsat unsat 0.011s