detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ015_size4.smt2 (content) unsat unknown 3s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ015_size4.smt2 (content) unsat unknown 1.6s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ015_size4.smt2 (content) unsat unknown 0.437s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ015_size3.smt2 (content) unsat unknown 0.091s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ015_size3.smt2 (content) unsat unknown 0.259s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ015_size3.smt2 (content) unsat unknown 0.070s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ006_size6.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ006_size6.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ006_size6.smt2 (content) timeout unknown 11s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ006_size5.smt2 (content) timeout unknown 10.2s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ006_size5.smt2 (content) unknown unknown 10.7s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ006_size5.smt2 (content) timeout unknown 11.2s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ006_size4.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ006_size4.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ006_size4.smt2 (content) unsat unknown 1.7s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ006_size3.smt2 (content) unsat unknown 0.410s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ006_size3.smt2 (content) unsat unknown 0.660s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ006_size3.smt2 (content) unsat unknown 0.063s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ004_size7.smt2 (content) unsat unknown 0.281s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ004_size7.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ004_size7.smt2 (content) unsat unknown 0.042s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ004_size6.smt2 (content) unsat unknown 0.128s
sidekick /home/simon/w/smtlib/QF_UF/NEQ/NEQ004_size6.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/NEQ/NEQ004_size6.smt2 (content) unsat unknown 0.031s
mc2 /home/simon/w/smtlib/QF_UF/NEQ/NEQ004_size5.smt2 (content) unsat unknown 0.053s