detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80024.cvc.smt2 (content) unsat unsat 0.039s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80023.cvc.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80008.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80007.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80005.cvc.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80001.cvc.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70098.cvc.smt2 (content) unsat unsat 0.034s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70096.cvc.smt2 (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70092.cvc.smt2 (content) unsat unsat 0.035s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70091.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70089.cvc.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70088.cvc.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70086.cvc.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70085.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70084.cvc.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70083.cvc.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70082.cvc.smt2 (content) unsat unsat 0.052s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70078.cvc.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70077.cvc.smt2 (content) unsat unsat 0.032s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70075.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70070.cvc.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70068.cvc.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70066.cvc.smt2 (content) unsat unsat 0.035s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70061.cvc.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70058.cvc.smt2 (content) unsat unsat 0.050s