detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408147/NEQ041_size8.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408147/NEQ041_size8.smt2 (content) unsat unsat 1.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408146/NEQ041_size7.smt2 (content) unsat unsat 8.1s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408146/NEQ041_size7.smt2 (content) unsat unsat 0.218s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408145/NEQ041_size6.smt2 (content) unsat unsat 3.7s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408145/NEQ041_size6.smt2 (content) unsat unsat 0.102s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408144/NEQ033_size6.smt2 (content) unknown unsat 10.3s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408144/NEQ033_size6.smt2 (content) unsat unsat 0.457s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408143/NEQ033_size5.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408143/NEQ033_size5.smt2 (content) unsat unsat 0.322s
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.117s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408141/NEQ033_size3.smt2 (content) unsat unsat 0.485s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408141/NEQ033_size3.smt2 (content) unsat unsat 0.059s
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
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.438s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408138/NEQ032_size4.smt2 (content) unsat unsat 10.8s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408138/NEQ032_size4.smt2 (content) unsat unsat 0.146s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408137/NEQ032_size3.smt2 (content) unsat unsat 0.478s
z3 /home/simon/workspace/smtlib/QF_UF/NEQ/408137/NEQ032_size3.smt2 (content) unsat unsat 0.032s
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.708s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408135/NEQ031_size8.smt2 (content) timeout unsat 11s