detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412872/iso_icl1107.smt2 (content) unsat unsat 0.151s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412872/iso_icl1107.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412871/iso_icl1106.smt2 (content) unsat unsat 0.064s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412871/iso_icl1106.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412870/iso_icl1105.smt2 (content) unsat unsat 0.121s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412870/iso_icl1105.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412869/iso_icl1104.smt2 (content) unsat unsat 0.077s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412869/iso_icl1104.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412868/iso_icl1103.smt2 (content) unsat unsat 0.062s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412868/iso_icl1103.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412867/iso_icl1102.smt2 (content) unsat unsat 0.080s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412867/iso_icl1102.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412866/iso_icl1101.smt2 (content) unsat unsat 0.108s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412866/iso_icl1101.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412865/iso_icl1100.smt2 (content) unsat unsat 0.095s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412865/iso_icl1100.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412864/iso_icl110.smt2 (content) unsat unsat 0.104s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412864/iso_icl110.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412863/iso_icl1099.smt2 (content) unsat unsat 0.084s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412863/iso_icl1099.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412862/iso_icl1098.smt2 (content) unsat unsat 0.076s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412862/iso_icl1098.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412861/iso_icl1097.smt2 (content) unsat unsat 0.116s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412861/iso_icl1097.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412860/iso_icl1096.smt2 (content) unsat unsat 0.078s