detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409718/gensys_brn673.smt2 (content) sat sat 0.220s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409718/gensys_brn673.smt2 (content) sat sat 0.049s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409717/gensys_brn672.smt2 (content) sat sat 0.333s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409717/gensys_brn672.smt2 (content) sat sat 0.168s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409717/gensys_brn672.smt2 (content) sat sat 0.063s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409716/gensys_brn671.smt2 (content) sat sat 0.513s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409716/gensys_brn671.smt2 (content) sat sat 0.196s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409716/gensys_brn671.smt2 (content) sat sat 0.055s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409715/gensys_brn670.smt2 (content) sat sat 0.372s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409715/gensys_brn670.smt2 (content) sat sat 0.292s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409715/gensys_brn670.smt2 (content) sat sat 0.065s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409714/gensys_brn669.smt2 (content) sat sat 0.472s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409714/gensys_brn669.smt2 (content) sat sat 0.212s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409714/gensys_brn669.smt2 (content) sat sat 0.061s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409713/gensys_brn668.smt2 (content) sat sat 0.521s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409713/gensys_brn668.smt2 (content) sat sat 0.286s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409713/gensys_brn668.smt2 (content) sat sat 0.044s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409712/gensys_brn667.smt2 (content) sat sat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409712/gensys_brn667.smt2 (content) sat sat 0.414s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409712/gensys_brn667.smt2 (content) sat sat 0.065s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409711/gensys_brn666.smt2 (content) sat sat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409711/gensys_brn666.smt2 (content) sat sat 0.346s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409711/gensys_brn666.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409710/gensys_brn665.smt2 (content) sat sat 1.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409710/gensys_brn665.smt2 (content) sat sat 0.705s