detailed results (3578 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40045.cvc.smt2 (content) sat unknown 0.021s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40044.cvc.smt2 (content) sat unknown 0.024s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40043.cvc.smt2 (content) sat unknown 0.028s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40039.cvc.smt2 (content) sat unknown 0.027s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40038.cvc.smt2 (content) sat unknown 0.046s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40037.cvc.smt2 (content) sat unknown 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40036.cvc.smt2 (content) sat unknown 0.027s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40033.cvc.smt2 (content) sat unknown 0.026s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40032.cvc.smt2 (content) sat unknown 0.021s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40030.cvc.smt2 (content) sat unknown 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40029.cvc.smt2 (content) sat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40023.cvc.smt2 (content) sat unknown 0.032s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40020.cvc.smt2 (content) sat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40014.cvc.smt2 (content) sat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40013.cvc.smt2 (content) sat unknown 0.027s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40012.cvc.smt2 (content) sat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40009.cvc.smt2 (content) sat unknown 0.034s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40007.cvc.smt2 (content) sat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40006.cvc.smt2 (content) sat unknown 0.026s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40001.cvc.smt2 (content) sat unknown 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30098.cvc.smt2 (content) sat unknown 0.040s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30096.cvc.smt2 (content) sat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30095.cvc.smt2 (content) sat unknown 0.024s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30093.cvc.smt2 (content) sat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30091.cvc.smt2 (content) sat unknown 0.035s