detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408876/gensys_brn1053.smt2 (content) sat sat 0.128s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408876/gensys_brn1053.smt2 (content) sat sat 0.090s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408876/gensys_brn1053.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408875/gensys_brn1052.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408875/gensys_brn1052.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408875/gensys_brn1052.smt2 (content) unsat unsat 0.665s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408874/gensys_brn1051.smt2 (content) sat sat 0.433s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408874/gensys_brn1051.smt2 (content) sat sat 0.209s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408874/gensys_brn1051.smt2 (content) sat sat 0.059s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408873/gensys_brn1050.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408873/gensys_brn1050.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408873/gensys_brn1050.smt2 (content) unsat unsat 0.727s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408872/gensys_brn105.smt2 (content) unsat unsat 5.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408872/gensys_brn105.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408872/gensys_brn105.smt2 (content) unsat unsat 0.284s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408871/gensys_brn1049.smt2 (content) sat sat 0.422s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408871/gensys_brn1049.smt2 (content) sat sat 0.330s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408871/gensys_brn1049.smt2 (content) sat sat 0.061s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408870/gensys_brn1048.smt2 (content) sat sat 0.351s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408870/gensys_brn1048.smt2 (content) sat sat 0.176s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408870/gensys_brn1048.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408869/gensys_brn1047.smt2 (content) sat sat 0.244s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408869/gensys_brn1047.smt2 (content) sat sat 0.543s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408869/gensys_brn1047.smt2 (content) sat sat 0.060s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408868/gensys_brn1046.smt2 (content) sat sat 0.351s