detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60088.cvc.smt2 (content) unsat unsat 0.099s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60087.cvc.smt2 (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60075.cvc.smt2 (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60074.cvc.smt2 (content) unsat unsat 0.081s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60069.cvc.smt2 (content) unsat unsat 0.089s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60068.cvc.smt2 (content) unsat unsat 0.137s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60066.cvc.smt2 (content) unsat unsat 0.089s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60065.cvc.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60064.cvc.smt2 (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60063.cvc.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60062.cvc.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60061.cvc.smt2 (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60057.cvc.smt2 (content) unsat unsat 0.066s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60055.cvc.smt2 (content) unsat unsat 0.055s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60053.cvc.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60052.cvc.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60050.cvc.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60047.cvc.smt2 (content) unsat unsat 0.095s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60046.cvc.smt2 (content) unsat unsat 0.102s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60044.cvc.smt2 (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60043.cvc.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60040.cvc.smt2 (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60039.cvc.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60037.cvc.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60030.cvc.smt2 (content) unsat unsat 0.084s