detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408590/iso_icl048.smt2 (content) unsat unsat 0.133s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408589/iso_icl047.smt2 (content) unsat unsat 0.092s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408588/iso_icl046.smt2 (content) unsat unsat 0.057s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408587/iso_icl045.smt2 (content) unsat unsat 0.059s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408586/iso_icl044.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408585/iso_icl043.smt2 (content) unsat unsat 0.051s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408584/iso_icl042.smt2 (content) unsat unsat 0.061s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408583/iso_icl041.smt2 (content) unsat unsat 0.069s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408582/iso_icl040.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408581/iso_icl039.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408580/iso_icl038.smt2 (content) unsat unsat 0.037s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408579/iso_icl037.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408578/iso_icl036.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408577/iso_icl035.smt2 (content) unsat unsat 0.040s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408576/iso_icl034.smt2 (content) unsat unsat 0.098s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408575/iso_icl033.smt2 (content) unsat unsat 0.060s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408574/iso_icl032.smt2 (content) unsat unsat 0.093s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408573/iso_icl031.smt2 (content) unsat unsat 0.071s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408572/iso_icl030.smt2 (content) unsat unsat 0.072s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408571/iso_icl029.smt2 (content) unsat unsat 0.036s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408570/iso_icl028.smt2 (content) unsat unsat 0.055s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408569/iso_icl027.smt2 (content) unsat unsat 0.108s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408568/iso_icl026.smt2 (content) unsat unsat 0.050s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408567/iso_icl025.smt2 (content) unsat unsat 0.058s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408566/iso_icl024.smt2 (content) unsat unsat 0.037s