detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1066.smt2 (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1065.smt2 (content) unsat unsat 0.095s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1064.smt2 (content) unsat unsat 0.030s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1063.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1062.smt2 (content) unsat unsat 0.038s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1061.smt2 (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1060.smt2 (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl106.smt2 (content) unsat unsat 0.052s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1059.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1058.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1057.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1056.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1055.smt2 (content) unsat unsat 0.051s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1054.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1053.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1052.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1051.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1050.smt2 (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl105.smt2 (content) unsat unsat 0.089s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1049.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1048.smt2 (content) unsat unsat 0.028s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1047.smt2 (content) unsat unsat 0.066s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1046.smt2 (content) unsat unsat 0.029s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1045.smt2 (content) unsat unsat 0.035s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1044.smt2 (content) unsat unsat 0.033s