detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414560/iso_icl003.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414559/iso_icl002.smt2 (content) unsat unsat 0.112s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414559/iso_icl002.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414558/iso_icl001.smt2 (content) unsat unsat 0.106s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414558/iso_icl001.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414557/iso_brn_sk055.smt2 (content) sat sat 0.408s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414557/iso_brn_sk055.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414556/iso_brn_sk054.smt2 (content) unsat unsat 0.514s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414556/iso_brn_sk054.smt2 (content) unsat unsat 0.059s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414555/iso_brn_sk053.smt2 (content) sat sat 0.301s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414555/iso_brn_sk053.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414554/iso_brn_sk052.smt2 (content) sat sat 0.562s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414554/iso_brn_sk052.smt2 (content) sat sat 0.079s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414553/iso_brn_sk051.smt2 (content) sat sat 0.327s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414553/iso_brn_sk051.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414552/iso_brn_sk050.smt2 (content) sat sat 0.185s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414552/iso_brn_sk050.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414551/iso_brn_sk049.smt2 (content) sat sat 0.208s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414551/iso_brn_sk049.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414550/iso_brn_sk048.smt2 (content) sat sat 0.333s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414550/iso_brn_sk048.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414549/iso_brn_sk047.smt2 (content) unsat unsat 0.463s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414549/iso_brn_sk047.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414548/iso_brn_sk046.smt2 (content) sat sat 0.262s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414548/iso_brn_sk046.smt2 (content) sat sat 0.030s