detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90017.cvc.smt2 (content) unsat unsat 0.072s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90016.cvc.smt2 (content) unsat unsat 0.084s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90015.cvc.smt2 (content) unsat unsat 0.041s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90014.cvc.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90013.cvc.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90012.cvc.smt2 (content) unsat unsat 0.037s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90011.cvc.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90010.cvc.smt2 (content) unsat unsat 0.033s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90009.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90008.cvc.smt2 (content) unsat unsat 0.115s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90007.cvc.smt2 (content) unsat unsat 0.035s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90006.cvc.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90004.cvc.smt2 (content) unsat unsat 0.034s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90003.cvc.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90002.cvc.smt2 (content) unsat unsat 0.129s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90001.cvc.smt2 (content) unsat unsat 0.038s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l80100.cvc.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l80099.cvc.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l80097.cvc.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l80096.cvc.smt2 (content) unsat unsat 0.087s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l80094.cvc.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l80093.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l80092.cvc.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l80090.cvc.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l80086.cvc.smt2 (content) unsat unsat 0.083s