detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412135/iso_brn480.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412134/iso_brn479.smt2 (content) unsat unsat 0.054s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412134/iso_brn479.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412133/iso_brn478.smt2 (content) sat sat 0.050s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412133/iso_brn478.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412132/iso_brn477.smt2 (content) unsat unsat 0.105s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412132/iso_brn477.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412131/iso_brn476.smt2 (content) sat sat 0.064s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412131/iso_brn476.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412130/iso_brn475.smt2 (content) sat sat 0.060s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412130/iso_brn475.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412129/iso_brn474.smt2 (content) unsat unsat 0.064s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412129/iso_brn474.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412128/iso_brn473.smt2 (content) sat sat 0.069s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412128/iso_brn473.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412127/iso_brn472.smt2 (content) sat sat 0.045s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412127/iso_brn472.smt2 (content) sat sat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412126/iso_brn471.smt2 (content) unsat unsat 0.079s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412126/iso_brn471.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412125/iso_brn470.smt2 (content) sat sat 0.065s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412125/iso_brn470.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412124/iso_brn469.smt2 (content) sat sat 0.058s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412124/iso_brn469.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412123/iso_brn468.smt2 (content) sat sat 0.057s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412123/iso_brn468.smt2 (content) sat sat 0.022s