detailed results (17584 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60051.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60050.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60049.cvc.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60048.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60047.cvc.smt2 (content) sat sat 0.053s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60046.cvc.smt2 (content) sat sat 0.034s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60045.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60044.cvc.smt2 (content) sat sat 0.033s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60043.cvc.smt2 (content) unsat unsat 0.032s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60042.cvc.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60041.cvc.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60040.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60039.cvc.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60038.cvc.smt2 (content) unsat unsat 0.051s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60037.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60036.cvc.smt2 (content) sat sat 0.038s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60035.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60034.cvc.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60033.cvc.smt2 (content) sat sat 0.050s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60032.cvc.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60031.cvc.smt2 (content) sat sat 0.041s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60030.cvc.smt2 (content) sat sat 0.038s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60029.cvc.smt2 (content) sat sat 0.033s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60028.cvc.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60027.cvc.smt2 (content) sat sat 0.035s