detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412909/iso_icl1140.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412908/iso_icl114.smt2 (content) unsat unsat 0.156s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412908/iso_icl114.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412907/iso_icl1139.smt2 (content) unsat unsat 0.114s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412907/iso_icl1139.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412906/iso_icl1138.smt2 (content) unsat unsat 0.075s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412906/iso_icl1138.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412905/iso_icl1137.smt2 (content) unsat unsat 0.053s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412905/iso_icl1137.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412904/iso_icl1136.smt2 (content) unsat unsat 0.075s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412904/iso_icl1136.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412903/iso_icl1135.smt2 (content) unsat unsat 0.054s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412903/iso_icl1135.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412902/iso_icl1134.smt2 (content) unsat unsat 0.059s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412902/iso_icl1134.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412901/iso_icl1133.smt2 (content) unsat unsat 0.055s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412901/iso_icl1133.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412900/iso_icl1132.smt2 (content) unsat unsat 0.055s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412900/iso_icl1132.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412899/iso_icl1131.smt2 (content) unsat unsat 0.057s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412899/iso_icl1131.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412898/iso_icl1130.smt2 (content) unsat unsat 0.063s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412898/iso_icl1130.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412897/iso_icl113.smt2 (content) unsat unsat 0.159s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412897/iso_icl113.smt2 (content) unsat unsat 0.030s