detailed results (4040 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60088.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60086.cvc.smt2 (content) sat sat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60084.cvc.smt2 (content) sat sat 0.017s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60082.cvc.smt2 (content) sat sat 0.018s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60081.cvc.smt2 (content) sat sat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60077.cvc.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60076.cvc.smt2 (content) sat sat 0.021s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60075.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60072.cvc.smt2 (content) sat sat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60071.cvc.smt2 (content) sat sat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60068.cvc.smt2 (content) sat sat 0.018s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60066.cvc.smt2 (content) sat sat 0.019s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60062.cvc.smt2 (content) sat sat 0.017s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60061.cvc.smt2 (content) sat sat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60059.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60058.cvc.smt2 (content) sat sat 0.019s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60057.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60052.cvc.smt2 (content) sat unsat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60048.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60046.cvc.smt2 (content) sat sat 0.017s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60045.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60041.cvc.smt2 (content) sat sat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60040.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60038.cvc.smt2 (content) sat unsat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60037.cvc.smt2 (content) sat sat 0.018s