root
file
detailed [475..499]
prev
next
detailed results (3885 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl065.smt2
(content)
unsat
unknown
0.602s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl064.smt2
(content)
unsat
unknown
0.487s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl063.smt2
(content)
unsat
unknown
0.426s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl062.smt2
(content)
unsat
unknown
0.369s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl061.smt2
(content)
unsat
unknown
0.404s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl060.smt2
(content)
unsat
unknown
0.423s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl059.smt2
(content)
unsat
unknown
0.425s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl058.smt2
(content)
unsat
unknown
0.501s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl057.smt2
(content)
unsat
unknown
0.560s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl056.smt2
(content)
unsat
unknown
0.284s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl055.smt2
(content)
unsat
unknown
0.285s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl054.smt2
(content)
unsat
unknown
0.166s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl053.smt2
(content)
unsat
unknown
0.165s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl052.smt2
(content)
unsat
unknown
0.216s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl051.smt2
(content)
unsat
unknown
0.130s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl050.smt2
(content)
unsat
unknown
0.123s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl049.smt2
(content)
unsat
unknown
0.220s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl048.smt2
(content)
unsat
unknown
0.109s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl047.smt2
(content)
unsat
unknown
0.141s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl046.smt2
(content)
unsat
unknown
0.143s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl045.smt2
(content)
unsat
unknown
0.146s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl044.smt2
(content)
unsat
unknown
0.113s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl043.smt2
(content)
unsat
unknown
0.178s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl042.smt2
(content)
unsat
unknown
0.156s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl041.smt2
(content)
unsat
unknown
0.155s