detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50006.cvc.smt2 (content) unsat unsat 0.082s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50004.cvc.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40100.cvc.smt2 (content) unsat unsat 0.094s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40095.cvc.smt2 (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40092.cvc.smt2 (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40082.cvc.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40081.cvc.smt2 (content) unsat unsat 0.055s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40078.cvc.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40072.cvc.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40070.cvc.smt2 (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40065.cvc.smt2 (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40063.cvc.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40062.cvc.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40060.cvc.smt2 (content) unsat unsat 0.092s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40058.cvc.smt2 (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40051.cvc.smt2 (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40050.cvc.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40038.cvc.smt2 (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40034.cvc.smt2 (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40032.cvc.smt2 (content) unsat unsat 0.090s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40031.cvc.smt2 (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40030.cvc.smt2 (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40028.cvc.smt2 (content) unsat unsat 0.083s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40027.cvc.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40019.cvc.smt2 (content) unsat unsat 0.079s