detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412097/iso_brn442.smt2 (content) sat sat 0.070s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412097/iso_brn442.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412096/iso_brn441.smt2 (content) sat sat 0.081s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412096/iso_brn441.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412095/iso_brn440.smt2 (content) unsat unsat 0.143s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412095/iso_brn440.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412094/iso_brn439.smt2 (content) unsat unsat 0.109s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412094/iso_brn439.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412093/iso_brn438.smt2 (content) sat sat 0.096s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412093/iso_brn438.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412092/iso_brn437.smt2 (content) sat sat 0.090s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412092/iso_brn437.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412091/iso_brn436.smt2 (content) sat sat 0.133s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412091/iso_brn436.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412090/iso_brn435.smt2 (content) sat sat 0.081s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412090/iso_brn435.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412089/iso_brn434.smt2 (content) sat sat 0.080s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412089/iso_brn434.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412088/iso_brn433.smt2 (content) sat sat 0.078s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412088/iso_brn433.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412087/iso_brn432.smt2 (content) sat sat 0.053s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412087/iso_brn432.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412086/iso_brn431.smt2 (content) unsat unsat 0.089s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412086/iso_brn431.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412085/iso_brn430.smt2 (content) sat sat 0.103s