detailed results (7457 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn182.smt2 (content) sat unknown 0.290s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn181.smt2 (content) sat unknown 0.085s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn180.smt2 (content) unsat unknown 1.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn179.smt2 (content) sat unknown 0.155s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn178.smt2 (content) sat unknown 0.092s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn177.smt2 (content) sat unknown 0.125s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn176.smt2 (content) sat unknown 0.066s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn175.smt2 (content) sat unknown 0.055s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn174.smt2 (content) sat unknown 0.080s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn173.smt2 (content) sat unknown 0.041s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn172.smt2 (content) sat unknown 0.117s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn171.smt2 (content) sat unknown 1.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn170.smt2 (content) sat unknown 0.131s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn169.smt2 (content) sat unknown 0.548s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn168.smt2 (content) sat unknown 0.070s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn167.smt2 (content) sat unknown 0.147s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unsat unknown 5.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat unknown 0.123s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat unknown 0.095s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unknown 0.540s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat unknown 0.374s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat unknown 0.287s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat unknown 0.155s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat unknown 0.084s