detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412210/iso_brn555.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412209/iso_brn554.smt2 (content) unsat unsat 0.189s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412209/iso_brn554.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412208/iso_brn553.smt2 (content) sat sat 0.246s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412208/iso_brn553.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412207/iso_brn552.smt2 (content) sat sat 0.149s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412207/iso_brn552.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412206/iso_brn551.smt2 (content) unsat unsat 0.175s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412206/iso_brn551.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412205/iso_brn550.smt2 (content) unsat unsat 0.130s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412205/iso_brn550.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412204/iso_brn549.smt2 (content) sat sat 0.125s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412204/iso_brn549.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412203/iso_brn548.smt2 (content) sat sat 0.125s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412203/iso_brn548.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412202/iso_brn547.smt2 (content) sat sat 0.172s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412202/iso_brn547.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412201/iso_brn546.smt2 (content) unsat unsat 0.180s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412201/iso_brn546.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412200/iso_brn545.smt2 (content) sat sat 0.104s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412200/iso_brn545.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412199/iso_brn544.smt2 (content) sat sat 0.067s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412199/iso_brn544.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412198/iso_brn543.smt2 (content) sat sat 0.077s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412198/iso_brn543.smt2 (content) sat sat 0.023s