detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409460/gensys_brn415.smt2 (content) unsat unsat 0.388s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409459/gensys_brn414.smt2 (content) sat sat 0.191s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409459/gensys_brn414.smt2 (content) sat sat 0.143s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409459/gensys_brn414.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409458/gensys_brn413.smt2 (content) sat sat 0.235s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409458/gensys_brn413.smt2 (content) sat sat 0.136s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409458/gensys_brn413.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) unsat unsat 7.8s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) unsat unsat 0.747s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409456/gensys_brn411.smt2 (content) sat sat 0.123s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409456/gensys_brn411.smt2 (content) sat sat 0.119s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409456/gensys_brn411.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409455/gensys_brn410.smt2 (content) unsat unsat 0.766s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409455/gensys_brn410.smt2 (content) unsat unsat 0.270s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409455/gensys_brn410.smt2 (content) unsat unsat 0.056s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409454/gensys_brn409.smt2 (content) sat sat 0.476s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409454/gensys_brn409.smt2 (content) sat sat 0.158s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409454/gensys_brn409.smt2 (content) sat sat 0.047s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409453/gensys_brn408.smt2 (content) sat sat 0.192s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409453/gensys_brn408.smt2 (content) sat sat 0.087s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409453/gensys_brn408.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409452/gensys_brn407.smt2 (content) unsat unsat 0.928s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409452/gensys_brn407.smt2 (content) unsat unsat 0.996s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409452/gensys_brn407.smt2 (content) unsat unsat 0.105s