detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408143/NEQ033_size5.smt2 (content) unknown unsat 10.7s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408143/NEQ033_size5.smt2 (content) unsat unsat 0.364s
mc2 /home/simon/workspace/smtlib/QF_UF/NEQ/408142/NEQ033_size4.smt2 (content) unsat unsat 4.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408142/NEQ033_size4.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408142/NEQ033_size4.smt2 (content) unsat unsat 0.120s
mc2 /home/simon/workspace/smtlib/QF_UF/NEQ/408141/NEQ033_size3.smt2 (content) unsat unsat 0.860s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408141/NEQ033_size3.smt2 (content) unsat unsat 0.514s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408141/NEQ033_size3.smt2 (content) unsat unsat 0.065s
mc2 /home/simon/workspace/smtlib/QF_UF/NEQ/408140/NEQ032_size6.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408140/NEQ032_size6.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408140/NEQ032_size6.smt2 (content) unsat unsat 1.6s
mc2 /home/simon/workspace/smtlib/QF_UF/NEQ/408139/NEQ032_size5.smt2 (content) unsat unsat 6.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408139/NEQ032_size5.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408139/NEQ032_size5.smt2 (content) unsat unsat 0.488s
mc2 /home/simon/workspace/smtlib/QF_UF/NEQ/408138/NEQ032_size4.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408138/NEQ032_size4.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408138/NEQ032_size4.smt2 (content) unsat unsat 0.161s
mc2 /home/simon/workspace/smtlib/QF_UF/NEQ/408137/NEQ032_size3.smt2 (content) unsat unsat 0.226s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408137/NEQ032_size3.smt2 (content) unsat unsat 0.547s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408137/NEQ032_size3.smt2 (content) unsat unsat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/NEQ/408136/NEQ031_size9.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408136/NEQ031_size9.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408136/NEQ031_size9.smt2 (content) unsat unsat 0.787s
mc2 /home/simon/workspace/smtlib/QF_UF/NEQ/408135/NEQ031_size8.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408135/NEQ031_size8.smt2 (content) timeout unsat 11s