detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410784/gensys_icl456.smt2 (content) unsat unsat 0.424s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410783/gensys_icl455.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410783/gensys_icl455.smt2 (content) unsat unsat 0.263s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410782/gensys_icl454.smt2 (content) unsat unsat 2.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410782/gensys_icl454.smt2 (content) unsat unsat 0.250s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410781/gensys_icl453.smt2 (content) unsat unsat 2.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410781/gensys_icl453.smt2 (content) unsat unsat 0.360s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410780/gensys_icl452.smt2 (content) unsat unsat 2.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410780/gensys_icl452.smt2 (content) unsat unsat 0.319s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410779/gensys_icl451.smt2 (content) unsat unsat 4.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410779/gensys_icl451.smt2 (content) unsat unsat 0.385s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410778/gensys_icl450.smt2 (content) unsat unsat 5.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410778/gensys_icl450.smt2 (content) unsat unsat 0.575s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410777/gensys_icl449.smt2 (content) unsat unsat 3.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410777/gensys_icl449.smt2 (content) unsat unsat 0.353s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410776/gensys_icl448.smt2 (content) unsat unsat 2.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410776/gensys_icl448.smt2 (content) unsat unsat 0.285s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410775/gensys_icl447.smt2 (content) unsat unsat 2.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410775/gensys_icl447.smt2 (content) unsat unsat 0.341s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410774/gensys_icl446.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410774/gensys_icl446.smt2 (content) unsat unsat 0.118s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410773/gensys_icl445.smt2 (content) unsat unsat 4.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410773/gensys_icl445.smt2 (content) unsat unsat 0.079s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410772/gensys_icl444.smt2 (content) unsat unsat 4.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410772/gensys_icl444.smt2 (content) unsat unsat 0.449s