detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl886.smt2 (content) unsat unsat 2.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl886.smt2 (content) unsat unsat 0.120s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl885.smt2 (content) unsat unsat 4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl885.smt2 (content) unsat unsat 0.200s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl884.smt2 (content) unsat unsat 9.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl884.smt2 (content) unsat unsat 0.354s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl883.smt2 (content) timeout unsat 11.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl883.smt2 (content) unsat unsat 0.220s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl882.smt2 (content) timeout unsat 13.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl882.smt2 (content) unsat unsat 0.488s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl881.smt2 (content) unsat unsat 2.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl881.smt2 (content) unsat unsat 0.114s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl880.smt2 (content) unsat unsat 2.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl880.smt2 (content) unsat unsat 0.078s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl879.smt2 (content) unsat unsat 0.993s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl879.smt2 (content) unsat unsat 0.736s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl878.smt2 (content) timeout unsat 11.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl878.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl877.smt2 (content) unsat unsat 10.0s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl877.smt2 (content) unsat unsat 0.605s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl876.smt2 (content) unsat unsat 1.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl876.smt2 (content) unsat unsat 0.194s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl875.smt2 (content) unsat unsat 1.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl875.smt2 (content) unsat unsat 0.125s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl874.smt2 (content) unsat unsat 5.8s