detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn744.smt2 (content) sat sat 0.198s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn744.smt2 (content) sat sat 0.069s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn743.smt2 (content) sat sat 0.581s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn743.smt2 (content) sat sat 0.069s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn742.smt2 (content) unsat unsat 3.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn742.smt2 (content) unsat unsat 0.156s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn741.smt2 (content) sat sat 0.724s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn741.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn740.smt2 (content) sat sat 0.488s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn740.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn739.smt2 (content) sat sat 0.636s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn739.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn738.smt2 (content) unsat unsat 1.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn738.smt2 (content) unsat unsat 0.775s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn737.smt2 (content) unsat unsat 1.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn737.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn736.smt2 (content) sat sat 0.612s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn736.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn735.smt2 (content) sat sat 0.398s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn735.smt2 (content) sat sat 0.072s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn734.smt2 (content) sat sat 0.434s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn734.smt2 (content) sat sat 0.079s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn733.smt2 (content) sat sat 0.580s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn733.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn732.smt2 (content) timeout unsat 12.4s