root
file
detailed [3925..3949]
prev
next
detailed results (349691 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4456074260384711473.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4454494873436800097.smt2
(content)
ok
ok
0.129s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4454324400373102867.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4452134216466285477.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4448421327785090569.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4447615688457775904.smt2
(content)
ok
ok
0.248s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4446944149134822978.smt2
(content)
ok
ok
0.165s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4440216952187502708.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4438836449765464705.smt2
(content)
ok
ok
0.112s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4436712082235129487.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4436334611686956389.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4435981036491327518.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4435555940673606590.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4425118527806829484.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4424907132160447766.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4424219776317605525.smt2
(content)
ok
ok
0.145s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4423671524712519774.smt2
(content)
ok
ok
0.202s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4421774854602177517.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4415993248007340712.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4413751348734201396.smt2
(content)
ok
ok
0.202s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4406766600490823320.smt2
(content)
ok
ok
0.200s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4404187290435275754.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4397720144577724244.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4397655715181437455.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4397470162097679099.smt2
(content)
ok
ok
0.120s