detailed results (16000 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80001.cvc.smt2 (content) sat sat 0.071s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70100.cvc.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70100.cvc.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70099.cvc.smt2 (content) unsat unsat 0.018s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70099.cvc.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70098.cvc.smt2 (content) sat sat 0.012s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70098.cvc.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70097.cvc.smt2 (content) unsat unsat 0.013s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70097.cvc.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70096.cvc.smt2 (content) unsat unsat 0.008s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70096.cvc.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70095.cvc.smt2 (content) sat sat 0.021s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70095.cvc.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70094.cvc.smt2 (content) sat sat 0.014s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70094.cvc.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70093.cvc.smt2 (content) sat sat 0.015s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70093.cvc.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70092.cvc.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70092.cvc.smt2 (content) unsat unsat 0.092s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70091.cvc.smt2 (content) sat sat 0.018s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70091.cvc.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70090.cvc.smt2 (content) unsat unsat 0.018s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70090.cvc.smt2 (content) unsat unsat 0.096s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70089.cvc.smt2 (content) sat sat 0.044s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70089.cvc.smt2 (content) sat sat 0.073s