detailed results (16000 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90063.cvc.smt2 (content) unsat unsat 0.016s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90063.cvc.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90062.cvc.smt2 (content) unknown unsat 10.7s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90062.cvc.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90061.cvc.smt2 (content) unknown unsat 10.7s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90061.cvc.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90060.cvc.smt2 (content) unknown unsat 10.7s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90060.cvc.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90059.cvc.smt2 (content) unknown sat 10.7s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90059.cvc.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90058.cvc.smt2 (content) unknown unsat 10.7s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90058.cvc.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90057.cvc.smt2 (content) unknown unsat 10.5s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90057.cvc.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90056.cvc.smt2 (content) unknown unsat 10.5s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90056.cvc.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90055.cvc.smt2 (content) unknown sat 10.7s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90055.cvc.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90054.cvc.smt2 (content) timeout sat 11s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90054.cvc.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90053.cvc.smt2 (content) unknown unsat 10.6s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90053.cvc.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90052.cvc.smt2 (content) unknown unsat 10.6s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90052.cvc.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90051.cvc.smt2 (content) unknown sat 10.8s