detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408868/gensys_brn1046.smt2 (content) sat sat 0.297s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408868/gensys_brn1046.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408867/gensys_brn1045.smt2 (content) sat sat 0.366s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408867/gensys_brn1045.smt2 (content) sat sat 0.423s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408867/gensys_brn1045.smt2 (content) sat sat 0.044s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408866/gensys_brn1044.smt2 (content) sat sat 0.391s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408866/gensys_brn1044.smt2 (content) sat sat 0.158s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408866/gensys_brn1044.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408865/gensys_brn1043.smt2 (content) sat sat 0.299s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408865/gensys_brn1043.smt2 (content) sat sat 0.180s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408865/gensys_brn1043.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408864/gensys_brn1042.smt2 (content) sat sat 0.328s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408864/gensys_brn1042.smt2 (content) sat sat 0.242s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408864/gensys_brn1042.smt2 (content) sat sat 0.084s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408863/gensys_brn1041.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408863/gensys_brn1041.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408863/gensys_brn1041.smt2 (content) unsat unsat 0.993s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408862/gensys_brn1040.smt2 (content) sat sat 0.280s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408862/gensys_brn1040.smt2 (content) sat sat 0.200s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408862/gensys_brn1040.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408861/gensys_brn104.smt2 (content) sat sat 0.317s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408861/gensys_brn104.smt2 (content) sat sat 0.136s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408861/gensys_brn104.smt2 (content) sat sat 0.040s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408860/gensys_brn1039.smt2 (content) sat sat 0.226s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408860/gensys_brn1039.smt2 (content) sat sat 0.260s