detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl874.smt2 (content) unsat unsat 0.424s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl873.smt2 (content) unsat unsat 3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl873.smt2 (content) unsat unsat 0.404s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl872.smt2 (content) unsat unsat 1.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl872.smt2 (content) unsat unsat 0.180s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl871.smt2 (content) unsat unsat 5.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl871.smt2 (content) unsat unsat 0.424s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl870.smt2 (content) unsat unsat 6.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl870.smt2 (content) unsat unsat 0.569s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl869.smt2 (content) unsat unsat 4.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl869.smt2 (content) unsat unsat 0.318s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl868.smt2 (content) unsat unsat 3.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl868.smt2 (content) unsat unsat 0.202s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl867.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl867.smt2 (content) unsat unsat 0.590s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl866.smt2 (content) unsat unsat 6.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl866.smt2 (content) unsat unsat 0.494s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl865.smt2 (content) unsat unsat 6.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl865.smt2 (content) unsat unsat 0.662s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl864.smt2 (content) unsat unsat 10s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl864.smt2 (content) unsat unsat 0.222s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl863.smt2 (content) unsat unsat 11s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl863.smt2 (content) unsat unsat 0.389s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl862.smt2 (content) timeout unsat 12.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl862.smt2 (content) unsat unsat 0.885s