detailed results (3512 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40065.cvc.smt2 (content) sat sat 0.008s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40064.cvc.smt2 (content) sat sat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40061.cvc.smt2 (content) sat sat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40060.cvc.smt2 (content) sat sat 0.012s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40058.cvc.smt2 (content) sat sat 0.012s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40057.cvc.smt2 (content) sat sat 0.007s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40056.cvc.smt2 (content) sat sat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40055.cvc.smt2 (content) sat sat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40053.cvc.smt2 (content) sat sat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40052.cvc.smt2 (content) sat sat 0.017s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40049.cvc.smt2 (content) sat sat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40048.cvc.smt2 (content) sat sat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40045.cvc.smt2 (content) sat sat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40044.cvc.smt2 (content) sat sat 0.011s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40043.cvc.smt2 (content) sat sat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40040.cvc.smt2 (content) sat sat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40039.cvc.smt2 (content) sat sat 0.009s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40037.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40035.cvc.smt2 (content) sat sat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40034.cvc.smt2 (content) sat sat 0.008s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40033.cvc.smt2 (content) sat sat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40032.cvc.smt2 (content) sat sat 0.008s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40031.cvc.smt2 (content) sat sat 0.008s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40030.cvc.smt2 (content) sat sat 0.008s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40029.cvc.smt2 (content) sat sat 0.008s