detailed results (4424 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20082.cvc.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20071.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20070.cvc.smt2 (content) unsat unsat 0.008s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20069.cvc.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20068.cvc.smt2 (content) unsat unsat 0.008s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20065.cvc.smt2 (content) unsat unsat 0.008s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20059.cvc.smt2 (content) unsat unsat 0.011s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20053.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20047.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20046.cvc.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20037.cvc.smt2 (content) unsat unsat 0.007s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20036.cvc.smt2 (content) unsat unsat 0.008s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20027.cvc.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20022.cvc.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20020.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20018.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20014.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20012.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20002.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l90100.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l90099.cvc.smt2 (content) unsat unsat 0.019s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l90098.cvc.smt2 (content) unsat unsat 0.019s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l90097.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l90096.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l90095.cvc.smt2 (content) unsat unsat 0.013s