detailed results (3580 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50037.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50033.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50031.cvc.smt2 (content) sat sat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50026.cvc.smt2 (content) sat sat 0.034s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50025.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50023.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50018.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50015.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50013.cvc.smt2 (content) sat sat 0.044s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50011.cvc.smt2 (content) sat sat 0.035s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50009.cvc.smt2 (content) sat sat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50008.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50006.cvc.smt2 (content) sat sat 0.038s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50005.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50003.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50002.cvc.smt2 (content) sat sat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40097.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40096.cvc.smt2 (content) sat sat 0.033s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40095.cvc.smt2 (content) sat sat 0.034s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40093.cvc.smt2 (content) sat sat 0.033s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40092.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40087.cvc.smt2 (content) sat sat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40086.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40083.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40081.cvc.smt2 (content) sat sat 0.028s