detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408985/gensys_brn1152.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408984/gensys_brn1151.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408984/gensys_brn1151.smt2 (content) sat sat 0.064s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408984/gensys_brn1151.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408983/gensys_brn1150.smt2 (content) unsat unsat 7.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408983/gensys_brn1150.smt2 (content) unsat unsat 6.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408983/gensys_brn1150.smt2 (content) unsat unsat 0.141s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408982/gensys_brn115.smt2 (content) unsat unsat 9.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408982/gensys_brn115.smt2 (content) unsat unsat 0.619s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408982/gensys_brn115.smt2 (content) unsat unsat 0.523s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408981/gensys_brn1149.smt2 (content) unsat unsat 8.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408981/gensys_brn1149.smt2 (content) unsat unsat 5.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408981/gensys_brn1149.smt2 (content) unsat unsat 0.149s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408980/gensys_brn1148.smt2 (content) unsat unsat 7.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408980/gensys_brn1148.smt2 (content) unsat unsat 4.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408980/gensys_brn1148.smt2 (content) unsat unsat 0.134s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408979/gensys_brn1147.smt2 (content) sat sat 0.151s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408979/gensys_brn1147.smt2 (content) sat sat 0.113s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408979/gensys_brn1147.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408978/gensys_brn1146.smt2 (content) sat sat 0.259s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408978/gensys_brn1146.smt2 (content) sat sat 0.192s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408978/gensys_brn1146.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408977/gensys_brn1145.smt2 (content) sat sat 0.195s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408977/gensys_brn1145.smt2 (content) sat sat 0.121s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408977/gensys_brn1145.smt2 (content) sat sat 0.031s