detailed results (3578 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70094.cvc.smt2 (content) sat sat 0.067s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70093.cvc.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70090.cvc.smt2 (content) sat sat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70087.cvc.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70081.cvc.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70080.cvc.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70079.cvc.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70076.cvc.smt2 (content) sat sat 0.068s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70074.cvc.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70073.cvc.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70072.cvc.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70071.cvc.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70069.cvc.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70067.cvc.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70065.cvc.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70064.cvc.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70063.cvc.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70062.cvc.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70060.cvc.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70059.cvc.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70057.cvc.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70055.cvc.smt2 (content) sat sat 0.112s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70054.cvc.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70053.cvc.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70052.cvc.smt2 (content) sat sat 0.037s