detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409210/gensys_brn165.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409209/gensys_brn164.smt2 (content) sat sat 0.119s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409209/gensys_brn164.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409208/gensys_brn163.smt2 (content) unsat unsat 0.339s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409208/gensys_brn163.smt2 (content) unsat unsat 0.884s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409207/gensys_brn162.smt2 (content) sat sat 0.476s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409207/gensys_brn162.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409206/gensys_brn161.smt2 (content) sat sat 0.182s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409206/gensys_brn161.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409205/gensys_brn160.smt2 (content) sat sat 0.221s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409205/gensys_brn160.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409204/gensys_brn159.smt2 (content) unsat unsat 3.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409204/gensys_brn159.smt2 (content) unsat unsat 0.643s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409203/gensys_brn158.smt2 (content) sat sat 0.117s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409203/gensys_brn158.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409202/gensys_brn157.smt2 (content) sat sat 0.141s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409202/gensys_brn157.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409201/gensys_brn156.smt2 (content) sat sat 0.091s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409201/gensys_brn156.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409200/gensys_brn155.smt2 (content) sat sat 0.097s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409200/gensys_brn155.smt2 (content) sat sat 0.072s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409199/gensys_brn154.smt2 (content) sat sat 0.186s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409199/gensys_brn154.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409198/gensys_brn153.smt2 (content) sat sat 0.143s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409198/gensys_brn153.smt2 (content) sat sat 0.026s