detailed results (3582 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50001.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40100.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40098.cvc.smt2 (content) sat sat 0.035s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40097.cvc.smt2 (content) sat sat 0.033s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40096.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40095.cvc.smt2 (content) sat sat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40094.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40092.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40091.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40090.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40089.cvc.smt2 (content) sat sat 0.026s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40088.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40087.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40086.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40085.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40083.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40081.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40078.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40076.cvc.smt2 (content) sat sat 0.038s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40075.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40074.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40073.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40072.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40071.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40070.cvc.smt2 (content) sat sat 0.028s