detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408118/NEQ015_size4.smt2 (content) unsat unsat 0.482s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408117/NEQ015_size3.smt2 (content) unsat unsat 0.081s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408116/NEQ006_size6.smt2 (content) unsat unsat 3.4s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408115/NEQ006_size5.smt2 (content) unsat unsat 1.0s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408114/NEQ006_size4.smt2 (content) unsat unsat 0.484s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408113/NEQ006_size3.smt2 (content) unsat unsat 0.056s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408112/NEQ004_size7.smt2 (content) unsat unsat 0.065s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408111/NEQ004_size6.smt2 (content) unsat unsat 0.049s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408110/NEQ004_size5.smt2 (content) unsat unsat 0.037s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408109/NEQ004_size4.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-9.base.cvc.smt2 (content) unsat unsat 0.196s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-8.base.cvc.smt2 (content) unsat unsat 0.113s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-7.base.cvc.smt2 (content) unsat unsat 0.062s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-6.base.cvc.smt2 (content) unsat unsat 0.050s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-5.base.cvc.smt2 (content) unsat unsat 0.034s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-24.base.cvc.smt2 (content) unsat unsat 10.7s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-23.base.cvc.smt2 (content) unsat unsat 8s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-22.base.cvc.smt2 (content) unsat unsat 7.2s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-21.base.cvc.smt2 (content) unsat unsat 5.5s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-20.base.cvc.smt2 (content) unsat unsat 4.3s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-20-with-lemmas.induction.cvc.smt2 (content) unsat unsat 0.151s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-19.base.cvc.smt2 (content) unsat unsat 4.7s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-18.base.cvc.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-17.base.cvc.smt2 (content) unsat unsat 3.3s
z3 /home/simon/workspace/smtlib/QF_LRA/uart/uart-16.base.cvc.smt2 (content) unsat unsat 1.9s