detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408200/PEQ019_size7.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408200/PEQ019_size7.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408200/PEQ019_size7.smt2 (content) unsat unsat 0.116s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408199/PEQ019_size6.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408199/PEQ019_size6.smt2 (content) unsat unsat 10.9s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408199/PEQ019_size6.smt2 (content) unsat unsat 0.080s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408198/PEQ019_size5.smt2 (content) unsat unsat 2.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408198/PEQ019_size5.smt2 (content) unsat unsat 0.533s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408198/PEQ019_size5.smt2 (content) unsat unsat 0.051s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408197/PEQ019_size4.smt2 (content) unsat unsat 0.548s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408197/PEQ019_size4.smt2 (content) unsat unsat 0.106s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408197/PEQ019_size4.smt2 (content) unsat unsat 0.026s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408196/PEQ018_size7.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408196/PEQ018_size7.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408196/PEQ018_size7.smt2 (content) timeout unsat 11s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408195/PEQ018_size6.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408195/PEQ018_size6.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408195/PEQ018_size6.smt2 (content) unsat unsat 7.8s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408194/PEQ018_size5.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408194/PEQ018_size5.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408194/PEQ018_size5.smt2 (content) unsat unsat 1s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408193/PEQ018_size4.smt2 (content) unsat unsat 6.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408193/PEQ018_size4.smt2 (content) unsat unsat 0.919s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408193/PEQ018_size4.smt2 (content) unsat unsat 0.098s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408191/PEQ016_size6.smt2 (content) timeout unsat 10s