detailed results (3578 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70078.cvc.smt2 (content) sat sat 0.043s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70077.cvc.smt2 (content) sat sat 0.041s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70075.cvc.smt2 (content) sat sat 0.080s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70074.cvc.smt2 (content) sat sat 0.054s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70073.cvc.smt2 (content) sat sat 0.041s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70071.cvc.smt2 (content) sat sat 0.100s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70070.cvc.smt2 (content) sat sat 0.217s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70069.cvc.smt2 (content) sat sat 0.050s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70067.cvc.smt2 (content) sat sat 0.055s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70066.cvc.smt2 (content) sat sat 0.041s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70061.cvc.smt2 (content) sat sat 0.040s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70060.cvc.smt2 (content) sat sat 0.038s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70056.cvc.smt2 (content) sat sat 0.065s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70055.cvc.smt2 (content) sat sat 0.036s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70054.cvc.smt2 (content) sat sat 0.038s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70053.cvc.smt2 (content) sat sat 0.040s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70048.cvc.smt2 (content) sat sat 0.041s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70047.cvc.smt2 (content) sat sat 0.033s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70046.cvc.smt2 (content) sat sat 0.038s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70044.cvc.smt2 (content) sat sat 0.055s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70043.cvc.smt2 (content) sat sat 0.033s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70040.cvc.smt2 (content) sat sat 0.048s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70039.cvc.smt2 (content) sat sat 0.050s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70038.cvc.smt2 (content) sat sat 0.035s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70037.cvc.smt2 (content) sat sat 0.064s