detailed results (8000 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90001.cvc.smt2 (content) sat sat 0.016s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80100.cvc.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80099.cvc.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80098.cvc.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80097.cvc.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80096.cvc.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80095.cvc.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80094.cvc.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80093.cvc.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80092.cvc.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80091.cvc.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80090.cvc.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80089.cvc.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80088.cvc.smt2 (content) sat sat 0.021s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80087.cvc.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80086.cvc.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80085.cvc.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80084.cvc.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80083.cvc.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80082.cvc.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80081.cvc.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80080.cvc.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80079.cvc.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80078.cvc.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80077.cvc.smt2 (content) unsat unsat 0.025s