detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408835/gensys_brn1016.smt2 (content) sat sat 0.091s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408834/gensys_brn1015.smt2 (content) sat sat 0.423s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408834/gensys_brn1015.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408833/gensys_brn1014.smt2 (content) sat sat 0.283s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408833/gensys_brn1014.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408832/gensys_brn1013.smt2 (content) sat sat 0.102s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408832/gensys_brn1013.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408831/gensys_brn1012.smt2 (content) sat sat 0.150s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408831/gensys_brn1012.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408830/gensys_brn1011.smt2 (content) sat sat 0.097s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408830/gensys_brn1011.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408829/gensys_brn1010.smt2 (content) sat sat 0.091s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408829/gensys_brn1010.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408828/gensys_brn101.smt2 (content) sat sat 0.130s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408828/gensys_brn101.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408827/gensys_brn1009.smt2 (content) sat sat 0.155s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408827/gensys_brn1009.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408826/gensys_brn1008.smt2 (content) sat sat 0.122s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408826/gensys_brn1008.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408825/gensys_brn1007.smt2 (content) sat sat 0.123s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408825/gensys_brn1007.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408824/gensys_brn1006.smt2 (content) sat sat 0.176s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408824/gensys_brn1006.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408823/gensys_brn1005.smt2 (content) sat sat 0.121s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408823/gensys_brn1005.smt2 (content) sat sat 0.030s