detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409868/gensys_brn823.smt2 (content) sat sat 0.101s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409868/gensys_brn823.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409867/gensys_brn822.smt2 (content) sat sat 1.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409867/gensys_brn822.smt2 (content) sat sat 0.264s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409867/gensys_brn822.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409866/gensys_brn821.smt2 (content) unsat unsat 5.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409866/gensys_brn821.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409866/gensys_brn821.smt2 (content) unsat unsat 0.403s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409865/gensys_brn820.smt2 (content) sat sat 0.371s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409865/gensys_brn820.smt2 (content) sat sat 0.175s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409865/gensys_brn820.smt2 (content) sat sat 0.064s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409864/gensys_brn819.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409864/gensys_brn819.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409864/gensys_brn819.smt2 (content) unsat unsat 1s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409863/gensys_brn818.smt2 (content) sat sat 0.405s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409863/gensys_brn818.smt2 (content) sat sat 0.253s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409863/gensys_brn818.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409862/gensys_brn817.smt2 (content) sat sat 0.434s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409862/gensys_brn817.smt2 (content) sat sat 0.146s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409862/gensys_brn817.smt2 (content) sat sat 0.050s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409861/gensys_brn816.smt2 (content) sat sat 0.457s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409861/gensys_brn816.smt2 (content) sat sat 0.265s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409861/gensys_brn816.smt2 (content) sat sat 0.068s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409860/gensys_brn815.smt2 (content) sat sat 0.517s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409860/gensys_brn815.smt2 (content) sat sat 0.177s