detailed results (16000 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90001.cvc.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80100.cvc.smt2 (content) sat sat 0.012s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80100.cvc.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80099.cvc.smt2 (content) unsat unsat 0.032s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80099.cvc.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80098.cvc.smt2 (content) sat sat 0.037s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80098.cvc.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80097.cvc.smt2 (content) unsat unsat 0.072s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80097.cvc.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80096.cvc.smt2 (content) unsat unsat 0.029s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80096.cvc.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80095.cvc.smt2 (content) unsat unsat 0.017s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80095.cvc.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80094.cvc.smt2 (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80094.cvc.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80093.cvc.smt2 (content) unsat unsat 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80093.cvc.smt2 (content) unsat unsat 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80092.cvc.smt2 (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80092.cvc.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80091.cvc.smt2 (content) unsat unsat 0.012s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80091.cvc.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80090.cvc.smt2 (content) unsat unsat 0.027s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80090.cvc.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80089.cvc.smt2 (content) unsat unsat 0.016s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80089.cvc.smt2 (content) unsat unsat 0.068s