detailed results (3578 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40094.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40089.cvc.smt2 (content) sat sat 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40086.cvc.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40085.cvc.smt2 (content) sat sat 0.021s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40083.cvc.smt2 (content) sat sat 0.009s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40081.cvc.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40080.cvc.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40077.cvc.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40075.cvc.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40072.cvc.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40070.cvc.smt2 (content) sat sat 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40069.cvc.smt2 (content) sat sat 0.016s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40068.cvc.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40066.cvc.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40065.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40064.cvc.smt2 (content) sat sat 0.016s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40061.cvc.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40060.cvc.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40058.cvc.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40057.cvc.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40056.cvc.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40055.cvc.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40053.cvc.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40052.cvc.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40049.cvc.smt2 (content) sat sat 0.014s