detailed results (3578 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70078.cvc.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70077.cvc.smt2 (content) sat sat 0.014s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70075.cvc.smt2 (content) sat sat 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70074.cvc.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70073.cvc.smt2 (content) sat sat 0.018s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70071.cvc.smt2 (content) sat sat 0.012s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70070.cvc.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70069.cvc.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70067.cvc.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70066.cvc.smt2 (content) sat sat 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70061.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70060.cvc.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70056.cvc.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70055.cvc.smt2 (content) sat sat 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70054.cvc.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70053.cvc.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70048.cvc.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70047.cvc.smt2 (content) sat sat 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70046.cvc.smt2 (content) sat sat 0.015s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70044.cvc.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70043.cvc.smt2 (content) sat sat 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70040.cvc.smt2 (content) sat sat 0.019s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70039.cvc.smt2 (content) sat sat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70038.cvc.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70037.cvc.smt2 (content) sat sat 0.038s