detailed results (8000 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90051.cvc.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90050.cvc.smt2 (content) unsat unsat 0.028s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90049.cvc.smt2 (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90048.cvc.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90047.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90046.cvc.smt2 (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90045.cvc.smt2 (content) unsat unsat 0.027s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90044.cvc.smt2 (content) sat sat 0.025s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90043.cvc.smt2 (content) unsat unsat 0.021s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90042.cvc.smt2 (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90041.cvc.smt2 (content) unsat unsat 0.022s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90040.cvc.smt2 (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90039.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90038.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90037.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90036.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90035.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90034.cvc.smt2 (content) unsat unsat 0.022s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90033.cvc.smt2 (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90032.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90031.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90030.cvc.smt2 (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90029.cvc.smt2 (content) unsat unsat 0.027s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90028.cvc.smt2 (content) unsat unsat 0.022s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90027.cvc.smt2 (content) unsat unsat 0.021s