detailed results (7682 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20083.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20082.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20081.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20080.cvc.smt2 (content) sat sat 0.042s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20079.cvc.smt2 (content) sat sat 0.056s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20078.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20077.cvc.smt2 (content) sat sat 0.047s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20076.cvc.smt2 (content) sat sat 0.039s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20075.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20074.cvc.smt2 (content) sat sat 0.056s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20071.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20070.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20068.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20067.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20066.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20065.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20064.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20062.cvc.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20061.cvc.smt2 (content) sat sat 0.033s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20059.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20057.cvc.smt2 (content) sat sat 0.040s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20056.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20055.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20053.cvc.smt2 (content) sat sat 0.025s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20052.cvc.smt2 (content) sat sat 0.028s