detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80001.cvc.smt2 (content) unsat unsat 0.028s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70100.cvc.smt2 (content) unsat unsat 0.022s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70099.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70097.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70096.cvc.smt2 (content) unsat unsat 0.029s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70095.cvc.smt2 (content) unsat unsat 0.030s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70094.cvc.smt2 (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70093.cvc.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70092.cvc.smt2 (content) unsat unsat 0.039s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70091.cvc.smt2 (content) unsat unsat 0.022s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70090.cvc.smt2 (content) unsat unsat 0.023s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70089.cvc.smt2 (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70088.cvc.smt2 (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70087.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70086.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70085.cvc.smt2 (content) unsat unsat 0.033s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70084.cvc.smt2 (content) unsat unsat 0.029s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70083.cvc.smt2 (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70082.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70081.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70080.cvc.smt2 (content) unsat unsat 0.034s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70079.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70078.cvc.smt2 (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70077.cvc.smt2 (content) unsat unsat 0.032s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70075.cvc.smt2 (content) unsat unsat 0.027s