detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl724.smt2 (content) unsat unsat 0.698s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl723.smt2 (content) unsat unsat 0.807s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl723.smt2 (content) unsat unsat 0.485s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl722.smt2 (content) unknown unsat 11.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl722.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl721.smt2 (content) unsat unsat 2.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl721.smt2 (content) unsat unsat 0.977s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl720.smt2 (content) unsat unsat 1.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl720.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl719.smt2 (content) unsat unsat 1.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl719.smt2 (content) unsat unsat 0.095s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl718.smt2 (content) timeout unsat 13s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl718.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl717.smt2 (content) unsat unsat 3.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl717.smt2 (content) unsat unsat 0.290s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl716.smt2 (content) unsat unsat 5.0s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl716.smt2 (content) unsat unsat 0.367s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl715.smt2 (content) unsat unsat 6.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl715.smt2 (content) unsat unsat 0.348s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl714.smt2 (content) unsat unsat 1.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl714.smt2 (content) unsat unsat 0.134s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl713.smt2 (content) unsat unsat 5.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl713.smt2 (content) unsat unsat 0.450s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl712.smt2 (content) unsat unsat 8.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl712.smt2 (content) unsat unsat 0.647s