detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408526/iso_brn090.smt2 (content) unsat unsat 0.220s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408526/iso_brn090.smt2 (content) unsat unsat 0.301s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408526/iso_brn090.smt2 (content) unsat unsat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408525/iso_brn089.smt2 (content) sat sat 0.282s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408525/iso_brn089.smt2 (content) sat sat 0.266s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408525/iso_brn089.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408524/iso_brn088.smt2 (content) sat sat 0.173s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408524/iso_brn088.smt2 (content) sat sat 0.217s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408524/iso_brn088.smt2 (content) sat sat 0.040s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408523/iso_brn087.smt2 (content) sat sat 0.223s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408523/iso_brn087.smt2 (content) sat sat 0.451s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408523/iso_brn087.smt2 (content) sat sat 0.048s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408522/iso_brn086.smt2 (content) sat sat 0.205s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408522/iso_brn086.smt2 (content) sat sat 0.369s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408522/iso_brn086.smt2 (content) sat sat 0.047s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408521/iso_brn085.smt2 (content) sat sat 0.344s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408521/iso_brn085.smt2 (content) sat sat 0.558s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408521/iso_brn085.smt2 (content) sat sat 0.089s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408520/iso_brn084.smt2 (content) sat sat 0.252s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408520/iso_brn084.smt2 (content) sat sat 0.434s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408520/iso_brn084.smt2 (content) sat sat 0.050s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408519/iso_brn083.smt2 (content) sat sat 0.232s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408519/iso_brn083.smt2 (content) sat sat 0.309s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408519/iso_brn083.smt2 (content) sat sat 0.060s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408518/iso_brn082.smt2 (content) sat sat 0.222s