detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl686.smt2 (content) unsat unsat 3.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl686.smt2 (content) unsat unsat 0.254s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl685.smt2 (content) timeout unsat 12.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl685.smt2 (content) unsat unsat 0.589s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl684.smt2 (content) unsat unsat 9.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl684.smt2 (content) unsat unsat 0.822s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl683.smt2 (content) unsat unsat 5.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl683.smt2 (content) unsat unsat 0.835s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl682.smt2 (content) unsat unsat 7.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl682.smt2 (content) unsat unsat 0.372s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl681.smt2 (content) unknown unsat 10.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl681.smt2 (content) unsat unsat 0.488s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl680.smt2 (content) unknown unsat 10.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl680.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl679.smt2 (content) unknown unsat 10.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl679.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl678.smt2 (content) unsat unsat 4.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl678.smt2 (content) unsat unsat 0.229s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl677.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl677.smt2 (content) unsat unsat 0.189s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl676.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl676.smt2 (content) unsat unsat 0.162s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl675.smt2 (content) unsat unsat 5.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl675.smt2 (content) unsat unsat 0.197s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl674.smt2 (content) timeout unsat 12.1s