detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408301/gensys_brn080.smt2 (content) sat sat 0.494s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408301/gensys_brn080.smt2 (content) sat sat 0.276s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408301/gensys_brn080.smt2 (content) sat sat 0.086s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408300/gensys_brn079.smt2 (content) sat sat 0.402s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408300/gensys_brn079.smt2 (content) sat sat 0.320s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408300/gensys_brn079.smt2 (content) sat sat 0.048s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408299/gensys_brn078.smt2 (content) sat sat 1.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408299/gensys_brn078.smt2 (content) sat sat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408299/gensys_brn078.smt2 (content) sat sat 0.067s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408298/gensys_brn077.smt2 (content) sat sat 0.725s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408298/gensys_brn077.smt2 (content) sat sat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408298/gensys_brn077.smt2 (content) sat sat 0.052s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408297/gensys_brn076.smt2 (content) unsat unsat 2.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408297/gensys_brn076.smt2 (content) unsat unsat 2.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408297/gensys_brn076.smt2 (content) unsat unsat 0.300s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408296/gensys_brn075.smt2 (content) sat sat 0.417s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408296/gensys_brn075.smt2 (content) sat sat 0.554s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408296/gensys_brn075.smt2 (content) sat sat 0.050s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408295/gensys_brn074.smt2 (content) sat sat 0.961s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408295/gensys_brn074.smt2 (content) sat sat 1.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408295/gensys_brn074.smt2 (content) sat sat 0.055s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408294/gensys_brn073.smt2 (content) unsat unsat 2.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408294/gensys_brn073.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408294/gensys_brn073.smt2 (content) unsat unsat 0.238s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408293/gensys_brn072.smt2 (content) sat sat 0.490s