detailed results (7457 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn607.smt2 (content) sat unknown 0.218s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn606.smt2 (content) sat unknown 0.179s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn605.smt2 (content) sat unknown 0.150s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn604.smt2 (content) sat unknown 0.315s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn603.smt2 (content) sat unknown 0.373s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn602.smt2 (content) sat unknown 0.145s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn601.smt2 (content) sat unknown 0.151s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn600.smt2 (content) sat unknown 0.123s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn599.smt2 (content) sat unknown 0.236s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn598.smt2 (content) sat unknown 0.074s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn597.smt2 (content) unsat unknown 0.452s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn596.smt2 (content) sat unknown 0.069s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn595.smt2 (content) sat unknown 0.110s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn594.smt2 (content) sat unknown 0.229s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn593.smt2 (content) unsat unknown 2.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn592.smt2 (content) sat unknown 0.680s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn591.smt2 (content) unsat unknown 7.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn590.smt2 (content) sat unknown 0.487s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn589.smt2 (content) sat unknown 0.185s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn588.smt2 (content) sat unknown 0.202s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn587.smt2 (content) sat unknown 0.109s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn586.smt2 (content) sat unknown 0.165s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn585.smt2 (content) sat unknown 0.239s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn584.smt2 (content) sat unknown 0.114s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn583.smt2 (content) sat unknown 0.074s