detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl786.smt2 (content) unsat unsat 10.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl786.smt2 (content) unsat unsat 0.369s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl785.smt2 (content) timeout unsat 12.0s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl785.smt2 (content) unsat unsat 0.965s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl784.smt2 (content) timeout unsat 12.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl784.smt2 (content) unsat unsat 0.835s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl783.smt2 (content) timeout unsat 12.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl783.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl782.smt2 (content) unsat unsat 3.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl782.smt2 (content) unsat unsat 0.179s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl781.smt2 (content) unsat unsat 5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl781.smt2 (content) unsat unsat 0.254s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl780.smt2 (content) unsat unsat 8.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl780.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl779.smt2 (content) unsat unsat 0.317s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl779.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl778.smt2 (content) unsat unsat 0.911s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl778.smt2 (content) unsat unsat 0.104s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl777.smt2 (content) unsat unsat 1.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl777.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl776.smt2 (content) unknown unsat 12.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl776.smt2 (content) unsat unsat 0.925s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl775.smt2 (content) timeout unsat 12s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl775.smt2 (content) unsat unsat 0.995s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl774.smt2 (content) unsat unsat 0.565s