detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409460/gensys_brn415.smt2 (content) unsat unsat 0.348s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409459/gensys_brn414.smt2 (content) sat sat 0.139s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409459/gensys_brn414.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409458/gensys_brn413.smt2 (content) sat sat 0.091s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409458/gensys_brn413.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) unsat unsat 7.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) unsat unsat 0.669s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409456/gensys_brn411.smt2 (content) sat sat 0.104s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409456/gensys_brn411.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409455/gensys_brn410.smt2 (content) unsat unsat 0.248s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409455/gensys_brn410.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409454/gensys_brn409.smt2 (content) sat sat 0.150s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409454/gensys_brn409.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409453/gensys_brn408.smt2 (content) sat sat 0.083s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409453/gensys_brn408.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409452/gensys_brn407.smt2 (content) unsat unsat 0.931s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409452/gensys_brn407.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409451/gensys_brn406.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409451/gensys_brn406.smt2 (content) unsat unsat 0.102s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409450/gensys_brn405.smt2 (content) sat sat 0.175s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409450/gensys_brn405.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409449/gensys_brn404.smt2 (content) sat sat 0.338s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409449/gensys_brn404.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409448/gensys_brn403.smt2 (content) sat sat 0.177s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409448/gensys_brn403.smt2 (content) sat sat 0.033s