detailed results (584 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90006.cvc.smt2 (content) error sat 0.019s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90004.cvc.smt2 (content) error sat 0.021s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90003.cvc.smt2 (content) error unsat 0.018s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80100.cvc.smt2 (content) error sat 0.021s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80098.cvc.smt2 (content) error unsat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80091.cvc.smt2 (content) error unsat 0.017s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80090.cvc.smt2 (content) error unsat 0.018s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80087.cvc.smt2 (content) error unsat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80081.cvc.smt2 (content) error unsat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80079.cvc.smt2 (content) error unsat 0.021s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80076.cvc.smt2 (content) error unsat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80075.cvc.smt2 (content) error unsat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80069.cvc.smt2 (content) error unsat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80068.cvc.smt2 (content) error unsat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80067.cvc.smt2 (content) error unsat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80065.cvc.smt2 (content) error unsat 0.019s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80056.cvc.smt2 (content) error sat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80050.cvc.smt2 (content) error unsat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80048.cvc.smt2 (content) error unsat 0.012s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80047.cvc.smt2 (content) error unsat 0.018s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80044.cvc.smt2 (content) error sat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80043.cvc.smt2 (content) error unsat 0.023s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80040.cvc.smt2 (content) error unsat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80036.cvc.smt2 (content) error unsat 0.020s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80035.cvc.smt2 (content) error sat 0.019s