detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl936.smt2 (content) unknown unsat 10.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl936.smt2 (content) unsat unsat 0.528s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl935.smt2 (content) unsat unsat 6.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl935.smt2 (content) unsat unsat 0.378s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl934.smt2 (content) unsat unsat 2.0s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl934.smt2 (content) unsat unsat 0.236s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl933.smt2 (content) unsat unsat 6.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl933.smt2 (content) unsat unsat 0.356s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl932.smt2 (content) unsat unsat 4.0s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl932.smt2 (content) unsat unsat 0.215s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl931.smt2 (content) unsat unsat 2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl931.smt2 (content) unsat unsat 0.115s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl930.smt2 (content) unsat unsat 1.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl930.smt2 (content) unsat unsat 0.114s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl929.smt2 (content) timeout unsat 12.0s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl929.smt2 (content) unsat unsat 0.316s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl928.smt2 (content) unsat unsat 8.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl928.smt2 (content) unsat unsat 0.267s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl927.smt2 (content) unsat unsat 10.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl927.smt2 (content) unsat unsat 0.260s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl926.smt2 (content) unsat unsat 12.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl926.smt2 (content) unsat unsat 0.380s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl925.smt2 (content) unsat unsat 2.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl925.smt2 (content) unsat unsat 0.146s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl924.smt2 (content) timeout unsat 11.6s