Sota solver results for family mqm
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


InstanceSolverResultTime
Core1108_tbm_02.tex.moduleQ3.2S.000015mpiDepQBFUNSAT0.1
Core1108_tbm_03.tex.moduleQ3.2S.000002mpiDepQBFUNSAT1.4
Core1108_tbm_21.tex.module.000008mpiDepQBFSAT15.3
Core1108_tbm_21.tex.module.000026mpiDepQBFUNSAT0.08
Core1108_tbm_21.tex.module.000027mpiDepQBFUNSAT0.07
Core1108_tbm_21.tex.module.000030mpiDepQBFSAT11.15
Umbrella_tbm_05.tex.module.000039mpiDepQBFSAT24.2
Umbrella_tbm_24.tex.module.000066mpiDepQBFSAT1.64
Umbrella_tbm_24.tex.module.000131mpiDepQBFSAT1.64
Umbrella_tbm_25.tex.moduleQ3.2S.000075mpiDepQBFUNSAT0.67