detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ023_size6.smt2 (content) unsat unknown 0.190s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ023_size5.smt2 (content) unsat unknown 0.242s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ023_size5.smt2 (content) unsat unknown 2.9s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ023_size5.smt2 (content) unsat unknown 0.079s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ023_size4.smt2 (content) unsat unknown 0.568s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ023_size4.smt2 (content) unsat unknown 0.732s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ023_size4.smt2 (content) unsat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ016_size8.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ016_size8.smt2 (content) unknown unknown 10.6s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ016_size8.smt2 (content) unsat unknown 1.7s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ016_size7.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ016_size7.smt2 (content) timeout unknown 11.1s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ016_size7.smt2 (content) unsat unknown 1.5s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ016_size6.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ016_size6.smt2 (content) unsat unknown 5.4s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ016_size6.smt2 (content) unsat unknown 0.375s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ016_size5.smt2 (content) unsat unknown 5s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ016_size5.smt2 (content) unsat unknown 0.494s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ016_size5.smt2 (content) unsat unknown 0.043s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ015_size6.smt2 (content) unsat unknown 4.8s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ015_size6.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ015_size6.smt2 (content) unsat unknown 5.5s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ015_size5.smt2 (content) unsat unknown 2.5s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ015_size5.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ015_size5.smt2 (content) unsat unknown 0.868s