detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411309/gensys_icl981.smt2 (content) unsat unsat 0.096s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411308/gensys_icl980.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411308/gensys_icl980.smt2 (content) unsat unsat 0.579s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411307/gensys_icl979.smt2 (content) unsat unsat 4.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411307/gensys_icl979.smt2 (content) unsat unsat 0.230s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411306/gensys_icl978.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411306/gensys_icl978.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411305/gensys_icl977.smt2 (content) unsat unsat 0.815s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411305/gensys_icl977.smt2 (content) unsat unsat 0.140s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411304/gensys_icl976.smt2 (content) unsat unsat 0.960s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411304/gensys_icl976.smt2 (content) unsat unsat 0.109s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411303/gensys_icl975.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411303/gensys_icl975.smt2 (content) unsat unsat 0.761s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411302/gensys_icl974.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411302/gensys_icl974.smt2 (content) unsat unsat 0.611s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411301/gensys_icl973.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411301/gensys_icl973.smt2 (content) unsat unsat 0.569s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411300/gensys_icl972.smt2 (content) unsat unsat 9.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411300/gensys_icl972.smt2 (content) unsat unsat 0.343s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411299/gensys_icl971.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411299/gensys_icl971.smt2 (content) unsat unsat 0.356s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411298/gensys_icl970.smt2 (content) unsat unsat 1.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411298/gensys_icl970.smt2 (content) unsat unsat 0.099s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411297/gensys_icl969.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411297/gensys_icl969.smt2 (content) unsat unsat 0.603s