detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408146/NEQ041_size7.smt2 (content) unsat unsat 9.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408146/NEQ041_size7.smt2 (content) unsat unsat 0.228s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408145/NEQ041_size6.smt2 (content) unsat unsat 4.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408145/NEQ041_size6.smt2 (content) unsat unsat 0.109s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408144/NEQ033_size6.smt2 (content) unknown unsat 10.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408144/NEQ033_size6.smt2 (content) unsat unsat 0.534s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408143/NEQ033_size5.smt2 (content) unknown unsat 10.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408143/NEQ033_size5.smt2 (content) unsat unsat 0.402s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408142/NEQ033_size4.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408142/NEQ033_size4.smt2 (content) unsat unsat 0.148s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408141/NEQ033_size3.smt2 (content) unsat unsat 0.613s
z3 /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408141/NEQ033_size3.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408140/NEQ032_size6.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408140/NEQ032_size6.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408139/NEQ032_size5.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408139/NEQ032_size5.smt2 (content) unsat unsat 0.406s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408138/NEQ032_size4.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408138/NEQ032_size4.smt2 (content) unsat unsat 0.134s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408137/NEQ032_size3.smt2 (content) unsat unsat 0.578s
z3 /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408137/NEQ032_size3.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408136/NEQ031_size9.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408136/NEQ031_size9.smt2 (content) unsat unsat 0.926s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408135/NEQ031_size8.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408135/NEQ031_size8.smt2 (content) unsat unsat 0.542s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/NEQ/408134/NEQ031_size7.smt2 (content) timeout unsat 11s