detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412972/iso_icl1198.smt2 (content) unsat unsat 0.191s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412972/iso_icl1198.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412971/iso_icl1197.smt2 (content) unsat unsat 0.147s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412971/iso_icl1197.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412970/iso_icl1196.smt2 (content) unsat unsat 0.101s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412970/iso_icl1196.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412969/iso_icl1195.smt2 (content) unsat unsat 0.144s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412969/iso_icl1195.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412968/iso_icl1194.smt2 (content) unsat unsat 0.143s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412968/iso_icl1194.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412967/iso_icl1193.smt2 (content) unsat unsat 0.085s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412967/iso_icl1193.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412966/iso_icl1192.smt2 (content) unsat unsat 0.130s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412966/iso_icl1192.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412965/iso_icl1191.smt2 (content) unsat unsat 0.096s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412965/iso_icl1191.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412964/iso_icl1190.smt2 (content) unsat unsat 0.038s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412964/iso_icl1190.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412963/iso_icl119.smt2 (content) unsat unsat 0.088s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412963/iso_icl119.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412962/iso_icl1189.smt2 (content) unsat unsat 0.061s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412962/iso_icl1189.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412961/iso_icl1188.smt2 (content) unsat unsat 0.089s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412961/iso_icl1188.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412960/iso_icl1187.smt2 (content) unsat unsat 0.087s