detailed results (7682 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70078.cvc.smt2 (content) sat sat 0.052s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70077.cvc.smt2 (content) sat sat 0.036s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70075.cvc.smt2 (content) sat sat 0.045s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70074.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70073.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70071.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70070.cvc.smt2 (content) sat sat 0.034s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70069.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70067.cvc.smt2 (content) sat sat 0.056s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70066.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70061.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70060.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70056.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70055.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70054.cvc.smt2 (content) sat sat 0.050s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70053.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70048.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70047.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70046.cvc.smt2 (content) sat sat 0.039s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70044.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70043.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70040.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70039.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70038.cvc.smt2 (content) sat sat 0.034s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70037.cvc.smt2 (content) sat sat 0.030s