detailed results (16000 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90051.cvc.smt2 (content) unsat unsat 0.084s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90050.cvc.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90050.cvc.smt2 (content) unsat unsat 0.095s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90049.cvc.smt2 (content) unsat unsat 0.013s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90049.cvc.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90048.cvc.smt2 (content) unsat unsat 0.013s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90048.cvc.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90047.cvc.smt2 (content) unsat unsat 0.013s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90047.cvc.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90046.cvc.smt2 (content) unsat unsat 0.018s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90046.cvc.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90045.cvc.smt2 (content) unsat unsat 0.019s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90045.cvc.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90044.cvc.smt2 (content) sat sat 0.025s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90044.cvc.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90043.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90043.cvc.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90042.cvc.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90042.cvc.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90041.cvc.smt2 (content) unsat unsat 0.018s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90041.cvc.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90040.cvc.smt2 (content) unsat unsat 0.028s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90040.cvc.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90039.cvc.smt2 (content) unsat unsat 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90039.cvc.smt2 (content) unsat unsat 0.048s