detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412572/iso_brn917.smt2 (content) unsat unsat 0.108s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412572/iso_brn917.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412571/iso_brn916.smt2 (content) sat sat 0.081s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412571/iso_brn916.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412570/iso_brn915.smt2 (content) sat sat 0.083s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412570/iso_brn915.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412569/iso_brn914.smt2 (content) sat sat 0.093s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412569/iso_brn914.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412568/iso_brn913.smt2 (content) sat sat 0.075s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412568/iso_brn913.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412567/iso_brn912.smt2 (content) unsat unsat 0.099s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412567/iso_brn912.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412566/iso_brn911.smt2 (content) unsat unsat 0.107s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412566/iso_brn911.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412565/iso_brn910.smt2 (content) sat sat 0.112s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412565/iso_brn910.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412564/iso_brn909.smt2 (content) unsat unsat 0.074s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412564/iso_brn909.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412563/iso_brn908.smt2 (content) sat sat 0.090s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412563/iso_brn908.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412562/iso_brn907.smt2 (content) unsat unsat 0.084s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412562/iso_brn907.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412561/iso_brn906.smt2 (content) unsat unsat 0.089s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412561/iso_brn906.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412560/iso_brn905.smt2 (content) sat sat 0.119s