detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410559/gensys_icl231.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410558/gensys_icl230.smt2 (content) unsat unsat 4.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410558/gensys_icl230.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410557/gensys_icl229.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410557/gensys_icl229.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410556/gensys_icl228.smt2 (content) unsat unsat 2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410556/gensys_icl228.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410555/gensys_icl227.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410555/gensys_icl227.smt2 (content) unsat unsat 0.098s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410554/gensys_icl226.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410554/gensys_icl226.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410553/gensys_icl225.smt2 (content) unsat unsat 0.870s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410553/gensys_icl225.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410552/gensys_icl224.smt2 (content) unsat unsat 0.220s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410552/gensys_icl224.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410551/gensys_icl223.smt2 (content) unsat unsat 0.263s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410551/gensys_icl223.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410550/gensys_icl222.smt2 (content) unsat unsat 0.617s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410550/gensys_icl222.smt2 (content) unsat unsat 0.090s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410549/gensys_icl221.smt2 (content) unsat unsat 0.727s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410549/gensys_icl221.smt2 (content) unsat unsat 0.093s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410548/gensys_icl220.smt2 (content) unsat unsat 0.134s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410548/gensys_icl220.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410547/gensys_icl219.smt2 (content) unsat unsat 0.869s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410547/gensys_icl219.smt2 (content) unsat unsat 0.068s