detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411522/iso_brn1086.smt2 (content) unsat unsat 0.053s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411522/iso_brn1086.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411521/iso_brn1085.smt2 (content) sat sat 0.048s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411521/iso_brn1085.smt2 (content) sat sat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411520/iso_brn1084.smt2 (content) unsat unsat 0.040s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411520/iso_brn1084.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411519/iso_brn1083.smt2 (content) sat sat 0.063s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411519/iso_brn1083.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411518/iso_brn1082.smt2 (content) unsat unsat 0.069s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411518/iso_brn1082.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411517/iso_brn1081.smt2 (content) sat sat 0.054s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411517/iso_brn1081.smt2 (content) sat sat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411516/iso_brn1080.smt2 (content) unsat unsat 0.115s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411516/iso_brn1080.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411515/iso_brn108.smt2 (content) sat sat 0.130s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411515/iso_brn108.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411514/iso_brn1079.smt2 (content) unsat unsat 0.141s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411514/iso_brn1079.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411513/iso_brn1078.smt2 (content) unsat unsat 0.157s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411513/iso_brn1078.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411512/iso_brn1077.smt2 (content) sat sat 0.102s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411512/iso_brn1077.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411511/iso_brn1076.smt2 (content) sat sat 0.077s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411511/iso_brn1076.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411510/iso_brn1075.smt2 (content) unsat unsat 0.142s