detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl536.smt2 (content) unsat unsat 7.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl536.smt2 (content) unsat unsat 0.405s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl535.smt2 (content) unsat unsat 5.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl535.smt2 (content) unsat unsat 0.570s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl534.smt2 (content) timeout unsat 12.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl534.smt2 (content) unsat unsat 0.445s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl533.smt2 (content) timeout unsat 12s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl533.smt2 (content) unsat unsat 0.631s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl532.smt2 (content) unsat unsat 1.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl532.smt2 (content) unsat unsat 0.084s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl531.smt2 (content) unsat unsat 3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl531.smt2 (content) unsat unsat 0.270s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl530.smt2 (content) unsat unsat 1.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl530.smt2 (content) unsat unsat 0.102s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl529.smt2 (content) unsat unsat 8.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl529.smt2 (content) unsat unsat 0.160s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl528.smt2 (content) unknown unsat 12s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl528.smt2 (content) unsat unsat 0.389s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl527.smt2 (content) timeout unsat 12.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl527.smt2 (content) unsat unsat 0.156s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl526.smt2 (content) unknown unsat 10.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl526.smt2 (content) unsat unsat 0.505s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl525.smt2 (content) unsat unsat 1.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl525.smt2 (content) unsat unsat 0.161s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl524.smt2 (content) unsat unsat 1.5s