detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl624.smt2 (content) unsat unsat 0.126s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl623.smt2 (content) unknown unsat 10.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl623.smt2 (content) unsat unsat 0.792s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl622.smt2 (content) unsat unsat 2.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl622.smt2 (content) unsat unsat 0.327s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl621.smt2 (content) timeout unsat 12.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl621.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl620.smt2 (content) timeout unsat 14s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl620.smt2 (content) unsat unsat 0.904s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl619.smt2 (content) unsat unsat 6.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl619.smt2 (content) unsat unsat 0.343s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl618.smt2 (content) unsat unsat 8.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl618.smt2 (content) unsat unsat 0.383s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl617.smt2 (content) unsat unsat 7.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl617.smt2 (content) unsat unsat 0.326s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl616.smt2 (content) unsat unsat 8.0s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl616.smt2 (content) unsat unsat 0.346s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl615.smt2 (content) unsat unsat 5.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl615.smt2 (content) unsat unsat 0.130s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl614.smt2 (content) unknown unsat 10.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl614.smt2 (content) unsat unsat 0.331s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl613.smt2 (content) timeout unsat 14.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl613.smt2 (content) unsat unsat 0.772s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl612.smt2 (content) unknown unsat 11.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl612.smt2 (content) unsat unsat 0.422s