detailed results (3580 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30054.cvc.smt2 (content) sat sat 0.038s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30052.cvc.smt2 (content) sat sat 0.042s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30050.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30049.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30048.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30047.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30046.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30045.cvc.smt2 (content) sat sat 0.035s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30043.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30041.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30037.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30033.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30032.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30031.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30030.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30028.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30027.cvc.smt2 (content) sat sat 0.033s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30024.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30022.cvc.smt2 (content) sat sat 0.037s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30021.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30020.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30019.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30017.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30014.cvc.smt2 (content) sat unknown 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30013.cvc.smt2 (content) sat sat 0.032s