detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408183/PEQ013_size7.smt2 (content) timeout unsat 11s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408182/PEQ013_size6.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408182/PEQ013_size6.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408182/PEQ013_size6.smt2 (content) unsat unsat 2.6s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408181/PEQ013_size5.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408181/PEQ013_size5.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408181/PEQ013_size5.smt2 (content) unsat unsat 0.134s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408179/PEQ012_size5.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408179/PEQ012_size5.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408179/PEQ012_size5.smt2 (content) unsat unsat 0.526s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408178/PEQ012_size4.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408178/PEQ012_size4.smt2 (content) unsat unsat 5.6s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408178/PEQ012_size4.smt2 (content) unsat unsat 0.122s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408177/PEQ012_size3.smt2 (content) unsat unsat 0.185s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408177/PEQ012_size3.smt2 (content) unsat unsat 0.184s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408177/PEQ012_size3.smt2 (content) unsat unsat 0.027s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408176/PEQ011_size8.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408176/PEQ011_size8.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408176/PEQ011_size8.smt2 (content) unsat unsat 0.137s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408175/PEQ011_size7.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408175/PEQ011_size7.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408175/PEQ011_size7.smt2 (content) unsat unsat 0.104s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408174/PEQ011_size6.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408174/PEQ011_size6.smt2 (content) unsat unsat 6.1s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408174/PEQ011_size6.smt2 (content) unsat unsat 0.058s