detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408326/gensys_brn105.smt2 (content) unsat unsat 1.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408326/gensys_brn105.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408326/gensys_brn105.smt2 (content) unsat unsat 0.190s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408325/gensys_brn104.smt2 (content) sat sat 0.699s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408325/gensys_brn104.smt2 (content) sat sat 0.435s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408325/gensys_brn104.smt2 (content) sat sat 0.063s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408324/gensys_brn103.smt2 (content) sat sat 0.490s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408324/gensys_brn103.smt2 (content) sat sat 0.222s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408324/gensys_brn103.smt2 (content) sat sat 0.071s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408323/gensys_brn102.smt2 (content) sat sat 0.493s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408323/gensys_brn102.smt2 (content) sat sat 0.236s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408323/gensys_brn102.smt2 (content) sat sat 0.059s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408322/gensys_brn101.smt2 (content) sat sat 0.432s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408322/gensys_brn101.smt2 (content) sat sat 0.235s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408322/gensys_brn101.smt2 (content) sat sat 0.048s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408321/gensys_brn100.smt2 (content) sat sat 0.327s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408321/gensys_brn100.smt2 (content) sat sat 0.227s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408321/gensys_brn100.smt2 (content) sat sat 0.044s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408320/gensys_brn099.smt2 (content) sat sat 0.242s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408320/gensys_brn099.smt2 (content) sat sat 0.107s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408320/gensys_brn099.smt2 (content) sat sat 0.062s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408319/gensys_brn098.smt2 (content) sat sat 0.749s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408319/gensys_brn098.smt2 (content) sat sat 0.484s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408319/gensys_brn098.smt2 (content) sat sat 0.049s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408318/gensys_brn097.smt2 (content) unsat unsat 1.9s