detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412859/iso_icl1095.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412858/iso_icl1094.smt2 (content) unsat unsat 0.071s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412858/iso_icl1094.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412857/iso_icl1093.smt2 (content) unsat unsat 0.095s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412857/iso_icl1093.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412856/iso_icl1092.smt2 (content) unsat unsat 0.112s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412856/iso_icl1092.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412855/iso_icl1091.smt2 (content) unsat unsat 0.071s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412855/iso_icl1091.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412854/iso_icl1090.smt2 (content) unsat unsat 0.064s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412854/iso_icl1090.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412853/iso_icl109.smt2 (content) unsat unsat 0.118s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412853/iso_icl109.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412852/iso_icl1089.smt2 (content) unsat unsat 0.066s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412852/iso_icl1089.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412851/iso_icl1088.smt2 (content) unsat unsat 0.080s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412851/iso_icl1088.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412850/iso_icl1087.smt2 (content) unsat unsat 0.053s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412850/iso_icl1087.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412849/iso_icl1086.smt2 (content) unsat unsat 0.070s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412849/iso_icl1086.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412848/iso_icl1085.smt2 (content) unsat unsat 0.112s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412848/iso_icl1085.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412847/iso_icl1084.smt2 (content) unsat unsat 0.133s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412847/iso_icl1084.smt2 (content) unsat unsat 0.031s