detailed results (7682 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30088.cvc.smt2 (content) sat sat 0.051s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30087.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30085.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30084.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30081.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30080.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30079.cvc.smt2 (content) sat sat 0.045s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30077.cvc.smt2 (content) sat sat 0.033s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30071.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30069.cvc.smt2 (content) sat sat 0.048s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30068.cvc.smt2 (content) sat sat 0.036s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30067.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30066.cvc.smt2 (content) sat sat 0.034s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30060.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30058.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30056.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30055.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30054.cvc.smt2 (content) sat sat 0.048s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30051.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30048.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30047.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30046.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30045.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30039.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30035.cvc.smt2 (content) sat sat 0.038s