detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412896/iso_icl1129.smt2 (content) unsat unsat 0.076s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412896/iso_icl1129.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412895/iso_icl1128.smt2 (content) unsat unsat 0.076s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412895/iso_icl1128.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412894/iso_icl1127.smt2 (content) unsat unsat 0.069s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412894/iso_icl1127.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412893/iso_icl1126.smt2 (content) unsat unsat 0.075s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412893/iso_icl1126.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412892/iso_icl1125.smt2 (content) unsat unsat 0.073s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412892/iso_icl1125.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412891/iso_icl1124.smt2 (content) unsat unsat 0.094s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412891/iso_icl1124.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412890/iso_icl1123.smt2 (content) unsat unsat 0.106s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412890/iso_icl1123.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412889/iso_icl1122.smt2 (content) unsat unsat 0.124s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412889/iso_icl1122.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412888/iso_icl1121.smt2 (content) unsat unsat 0.134s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412888/iso_icl1121.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412887/iso_icl1120.smt2 (content) unsat unsat 0.063s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412887/iso_icl1120.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412886/iso_icl112.smt2 (content) unsat unsat 0.156s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412886/iso_icl112.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412885/iso_icl1119.smt2 (content) unsat unsat 0.097s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412885/iso_icl1119.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412884/iso_icl1118.smt2 (content) unsat unsat 0.088s