root
file
detailed [225..249]
prev
next
detailed results (3632 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408584/iso_icl042.smt2
(content)
unsat
unsat
0.221s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408583/iso_icl041.smt2
(content)
unsat
unsat
0.204s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408582/iso_icl040.smt2
(content)
unsat
unsat
0.097s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408581/iso_icl039.smt2
(content)
unsat
unsat
0.162s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408580/iso_icl038.smt2
(content)
unsat
unsat
0.128s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408579/iso_icl037.smt2
(content)
unsat
unsat
0.113s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408578/iso_icl036.smt2
(content)
unsat
unsat
0.159s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408577/iso_icl035.smt2
(content)
unsat
unsat
0.137s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408576/iso_icl034.smt2
(content)
unsat
unsat
0.586s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408575/iso_icl033.smt2
(content)
unsat
unsat
0.463s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408574/iso_icl032.smt2
(content)
unsat
unsat
0.316s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408573/iso_icl031.smt2
(content)
unsat
unsat
0.214s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408572/iso_icl030.smt2
(content)
unsat
unsat
0.317s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408571/iso_icl029.smt2
(content)
unsat
unsat
0.168s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408570/iso_icl028.smt2
(content)
unsat
unsat
0.366s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408569/iso_icl027.smt2
(content)
unsat
unsat
0.285s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408568/iso_icl026.smt2
(content)
unsat
unsat
0.496s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408567/iso_icl025.smt2
(content)
unsat
unsat
0.538s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408566/iso_icl024.smt2
(content)
unsat
unsat
0.597s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408565/iso_icl023.smt2
(content)
unsat
unsat
0.423s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408564/iso_icl022.smt2
(content)
unsat
unsat
0.429s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408563/iso_icl021.smt2
(content)
unsat
unsat
0.262s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408562/iso_icl020.smt2
(content)
unsat
unsat
0.381s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408561/iso_icl019.smt2
(content)
unsat
unsat
0.114s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408560/iso_icl018.smt2
(content)
unsat
unsat
0.148s