detailed results (4040 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50047.cvc.smt2 (content) sat sat 0.017s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50043.cvc.smt2 (content) sat unsat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50041.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50035.cvc.smt2 (content) sat sat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50032.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50031.cvc.smt2 (content) sat sat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50030.cvc.smt2 (content) sat unsat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50029.cvc.smt2 (content) sat sat 0.018s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50026.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50024.cvc.smt2 (content) sat sat 0.012s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50021.cvc.smt2 (content) sat sat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50020.cvc.smt2 (content) sat sat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50018.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50017.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50015.cvc.smt2 (content) sat sat 0.019s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50014.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50013.cvc.smt2 (content) sat sat 0.017s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50012.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50010.cvc.smt2 (content) sat unsat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50008.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50005.cvc.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50004.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50003.cvc.smt2 (content) sat sat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l50002.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l40098.cvc.smt2 (content) sat sat 0.014s