detailed results (3578 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50068.cvc.smt2 (content) sat sat 0.019s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50066.cvc.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50065.cvc.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50063.cvc.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50062.cvc.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50061.cvc.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50058.cvc.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50057.cvc.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50054.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50052.cvc.smt2 (content) sat sat 0.009s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50050.cvc.smt2 (content) sat sat 0.012s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50049.cvc.smt2 (content) sat sat 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50048.cvc.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50047.cvc.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50040.cvc.smt2 (content) sat sat 0.019s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50039.cvc.smt2 (content) sat sat 0.021s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50035.cvc.smt2 (content) sat sat 0.018s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50031.cvc.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50026.cvc.smt2 (content) sat sat 0.018s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50019.cvc.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50017.cvc.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50013.cvc.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50012.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50011.cvc.smt2 (content) sat sat 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50010.cvc.smt2 (content) sat sat 0.012s