detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414646/SEQ038_size6.smt2 (content) unsat unsat 7.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414646/SEQ038_size6.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414645/SEQ035_size6.smt2 (content) sat sat 6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414645/SEQ035_size6.smt2 (content) sat sat 0.397s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414644/SEQ035_size5.smt2 (content) unsat unsat 10.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414644/SEQ035_size5.smt2 (content) unsat unsat 0.511s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414643/SEQ035_size4.smt2 (content) unsat unsat 0.515s
z3 /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414643/SEQ035_size4.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414642/SEQ032_size4.smt2 (content) sat sat 0.128s
z3 /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414642/SEQ032_size4.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414641/SEQ032_size3.smt2 (content) unsat unsat 0.087s
z3 /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414641/SEQ032_size3.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414640/SEQ032_size2.smt2 (content) unsat unsat 0.019s
z3 /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414640/SEQ032_size2.smt2 (content) unsat unsat 0.019s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414639/SEQ026_size7.smt2 (content) unknown unsat 10.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414639/SEQ026_size7.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414638/SEQ026_size6.smt2 (content) unknown unsat 10.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414638/SEQ026_size6.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414637/SEQ026_size5.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414637/SEQ026_size5.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414636/SEQ026_size4.smt2 (content) unsat unsat 5.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414636/SEQ026_size4.smt2 (content) unsat unsat 0.365s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414635/SEQ020_size4.smt2 (content) sat sat 1.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414635/SEQ020_size4.smt2 (content) sat sat 0.197s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414634/SEQ020_size3.smt2 (content) unsat unsat 0.159s