detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl161.smt2 (content) unsat unsat 4.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl161.smt2 (content) unsat unsat 0.271s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl160.smt2 (content) unsat unsat 5.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl160.smt2 (content) unsat unsat 0.328s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl159.smt2 (content) timeout unsat 12.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl159.smt2 (content) unsat unsat 0.604s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl158.smt2 (content) timeout unsat 12s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl158.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl157.smt2 (content) unknown unsat 11s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl157.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl156.smt2 (content) timeout unsat 11.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl156.smt2 (content) unsat unsat 0.861s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl155.smt2 (content) unsat unsat 6.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl155.smt2 (content) unsat unsat 0.872s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl154.smt2 (content) unsat unsat 6.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl154.smt2 (content) unsat unsat 0.588s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl153.smt2 (content) unsat unsat 7.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl153.smt2 (content) unsat unsat 0.524s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl152.smt2 (content) unknown unsat 11.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl152.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl151.smt2 (content) unsat unsat 10.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl151.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl150.smt2 (content) unsat unsat 3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl150.smt2 (content) unsat unsat 0.237s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl149.smt2 (content) unsat unsat 4.1s