detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90023.cvc.smt2 (content) unsat unsat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90022.cvc.smt2 (content) unsat unsat 0.081s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90021.cvc.smt2 (content) unsat unsat 0.087s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90020.cvc.smt2 (content) unsat unsat 0.082s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90019.cvc.smt2 (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90018.cvc.smt2 (content) unsat unsat 0.116s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90017.cvc.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90016.cvc.smt2 (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90015.cvc.smt2 (content) unsat unsat 0.055s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90014.cvc.smt2 (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90013.cvc.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90012.cvc.smt2 (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90011.cvc.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90010.cvc.smt2 (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90009.cvc.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90008.cvc.smt2 (content) unsat unsat 0.157s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90006.cvc.smt2 (content) unsat unsat 0.089s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90005.cvc.smt2 (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90004.cvc.smt2 (content) unsat unsat 0.114s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90003.cvc.smt2 (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90002.cvc.smt2 (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90001.cvc.smt2 (content) unsat unsat 0.055s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80099.cvc.smt2 (content) unsat unsat 0.101s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80097.cvc.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80096.cvc.smt2 (content) unsat unsat 0.094s