detailed results (4422 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20062.cvc.smt2 (content) unsat unsat 0.014s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20059.cvc.smt2 (content) unsat unsat 0.008s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20051.cvc.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20050.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20049.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20045.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20042.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20041.cvc.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20040.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20036.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20035.cvc.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20028.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20026.cvc.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20025.cvc.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20021.cvc.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20009.cvc.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20008.cvc.smt2 (content) unsat unsat 0.011s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20007.cvc.smt2 (content) unsat unsat 0.007s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20006.cvc.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90099.cvc.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90098.cvc.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90096.cvc.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90095.cvc.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90090.cvc.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90087.cvc.smt2 (content) unsat unsat 0.035s