detailed results (3576 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40057.cvc.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40054.cvc.smt2 (content) sat sat 0.009s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40050.cvc.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40049.cvc.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40048.cvc.smt2 (content) sat sat 0.008s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40044.cvc.smt2 (content) sat sat 0.008s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40043.cvc.smt2 (content) sat sat 0.012s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40042.cvc.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40038.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40037.cvc.smt2 (content) sat sat 0.009s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40036.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40035.cvc.smt2 (content) sat sat 0.010s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40031.cvc.smt2 (content) sat sat 0.012s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40029.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40023.cvc.smt2 (content) sat sat 0.016s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40022.cvc.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40021.cvc.smt2 (content) sat sat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40020.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40018.cvc.smt2 (content) sat sat 0.015s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40017.cvc.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40016.cvc.smt2 (content) sat sat 0.019s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40015.cvc.smt2 (content) sat sat 0.010s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40011.cvc.smt2 (content) sat sat 0.011s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40010.cvc.smt2 (content) sat sat 0.019s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40008.cvc.smt2 (content) sat sat 0.010s