detailed results (7682 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70072.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70070.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70066.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70063.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70058.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70056.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70055.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70047.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70046.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70039.cvc.smt2 (content) sat sat 0.043s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70038.cvc.smt2 (content) sat sat 0.039s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70031.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70030.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70025.cvc.smt2 (content) sat sat 0.043s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70023.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70020.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70019.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70014.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70010.cvc.smt2 (content) sat sat 0.033s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70009.cvc.smt2 (content) sat sat 0.033s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70006.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70005.cvc.smt2 (content) sat sat 0.038s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60098.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60097.cvc.smt2 (content) sat sat 0.034s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60096.cvc.smt2 (content) sat sat 0.032s