detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412971/iso_icl1197.smt2 (content) unsat unsat 0.171s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412971/iso_icl1197.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412970/iso_icl1196.smt2 (content) unsat unsat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412970/iso_icl1196.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412969/iso_icl1195.smt2 (content) unsat unsat 0.189s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412969/iso_icl1195.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412968/iso_icl1194.smt2 (content) unsat unsat 0.203s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412968/iso_icl1194.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412967/iso_icl1193.smt2 (content) unsat unsat 0.107s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412967/iso_icl1193.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412966/iso_icl1192.smt2 (content) unsat unsat 0.157s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412966/iso_icl1192.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412965/iso_icl1191.smt2 (content) unsat unsat 0.117s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412965/iso_icl1191.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412964/iso_icl1190.smt2 (content) unsat unsat 0.048s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412964/iso_icl1190.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412963/iso_icl119.smt2 (content) unsat unsat 0.103s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412963/iso_icl119.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412962/iso_icl1189.smt2 (content) unsat unsat 0.059s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412962/iso_icl1189.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412961/iso_icl1188.smt2 (content) unsat unsat 0.111s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412961/iso_icl1188.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412960/iso_icl1187.smt2 (content) unsat unsat 0.102s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412960/iso_icl1187.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412959/iso_icl1186.smt2 (content) unsat unsat 0.074s