detailed results (3578 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60066.cvc.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60062.cvc.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60061.cvc.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60059.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60058.cvc.smt2 (content) sat sat 0.019s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60057.cvc.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60048.cvc.smt2 (content) sat sat 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60046.cvc.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60045.cvc.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60041.cvc.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60040.cvc.smt2 (content) sat sat 0.082s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60037.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60033.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60029.cvc.smt2 (content) sat sat 0.016s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60028.cvc.smt2 (content) sat sat 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60023.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60020.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60018.cvc.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60014.cvc.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60013.cvc.smt2 (content) sat sat 0.016s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60011.cvc.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60009.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60006.cvc.smt2 (content) sat sat 0.019s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60003.cvc.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50099.cvc.smt2 (content) sat sat 0.019s