detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408968/gensys_brn1137.smt2 (content) sat sat 0.224s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408968/gensys_brn1137.smt2 (content) sat sat 0.048s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408967/gensys_brn1136.smt2 (content) sat sat 0.182s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408967/gensys_brn1136.smt2 (content) sat sat 0.128s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408967/gensys_brn1136.smt2 (content) sat sat 0.061s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408966/gensys_brn1135.smt2 (content) sat sat 0.261s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408966/gensys_brn1135.smt2 (content) sat sat 0.143s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408966/gensys_brn1135.smt2 (content) sat sat 0.047s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408965/gensys_brn1134.smt2 (content) sat sat 0.214s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408965/gensys_brn1134.smt2 (content) sat sat 0.136s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408965/gensys_brn1134.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408964/gensys_brn1133.smt2 (content) sat sat 0.262s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408964/gensys_brn1133.smt2 (content) sat sat 0.131s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408964/gensys_brn1133.smt2 (content) sat sat 0.063s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408963/gensys_brn1132.smt2 (content) sat sat 0.202s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408963/gensys_brn1132.smt2 (content) sat sat 0.102s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408963/gensys_brn1132.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408962/gensys_brn1131.smt2 (content) sat sat 0.294s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408962/gensys_brn1131.smt2 (content) sat sat 0.135s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408962/gensys_brn1131.smt2 (content) sat sat 0.040s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408961/gensys_brn1130.smt2 (content) sat sat 0.297s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408961/gensys_brn1130.smt2 (content) sat sat 0.135s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408961/gensys_brn1130.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408960/gensys_brn113.smt2 (content) sat sat 0.280s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408960/gensys_brn113.smt2 (content) sat sat 0.304s