detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1082.smt2 (content) sat unknown 0.063s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1082.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1081.smt2 (content) sat unknown 0.122s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1081.smt2 (content) sat unknown 0.090s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1081.smt2 (content) sat unknown 0.088s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1081.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1080.smt2 (content) sat unknown 0.273s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1080.smt2 (content) sat unknown 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1080.smt2 (content) sat unknown 0.074s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1080.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn108.smt2 (content) sat unknown 0.292s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn108.smt2 (content) sat unknown 0.122s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn108.smt2 (content) sat unknown 0.119s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn108.smt2 (content) sat unknown 0.032s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1079.smt2 (content) sat unknown 0.257s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1079.smt2 (content) sat unknown 0.102s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1079.smt2 (content) sat unknown 0.096s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1079.smt2 (content) sat unknown 0.031s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1078.smt2 (content) sat unknown 0.286s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1078.smt2 (content) sat unknown 0.438s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1078.smt2 (content) sat unknown 0.437s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1078.smt2 (content) sat unknown 0.034s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1077.smt2 (content) sat unknown 0.262s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1077.smt2 (content) sat unknown 0.547s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1077.smt2 (content) sat unknown 0.535s