Searched refs:REFUTATION (Results 1 – 20 of 20) sorted by relevance
/dports/math/vampire/vampire-4.5.1/Shell/ |
H A D | BFNTMainLoop.cpp | 128 case Statistics::REFUTATION: in runChild() 183 return MainLoopResult(Statistics::REFUTATION); in spawnChild()
|
H A D | Statistics.hpp | 352 REFUTATION, enumerator
|
H A D | Statistics.cpp | 208 case Statistics::REFUTATION: in print()
|
H A D | UIHelper.cpp | 366 case Statistics::REFUTATION: in outputResult()
|
/dports/math/vampire/vampire-4.5.1/VUtils/ |
H A D | CPAInterpolator.cpp | 265 if(env.statistics->terminationReason==Statistics::REFUTATION) { in displayResult() 282 if(env.statistics->terminationReason!=Statistics::REFUTATION) { in displayResult() 464 if(env.statistics->terminationReason==Statistics::REFUTATION) { in childRun()
|
/dports/math/vampire/vampire-4.5.1/SAT/ |
H A D | Z3MainLoop.cpp | 88 if(status == SATSolver::Status::UNSATISFIABLE){ reason = Statistics::REFUTATION; } in runImpl()
|
H A D | SingleWatchSAT.hpp | 48 REFUTATION, enumerator
|
H A D | SingleWatchSAT.cpp | 84 termination=REFUTATION; in loadClauses() 343 termination=REFUTATION; in satisfy()
|
/dports/games/stockfish/Stockfish-sf_14/src/ |
H A D | movepick.cpp | 28 MAIN_TT, CAPTURE_INIT, GOOD_CAPTURE, REFUTATION, QUIET_INIT, QUIET, BAD_CAPTURE, enumerator 190 case REFUTATION: in next_move()
|
/dports/math/vampire/vampire-4.5.1/Kernel/ |
H A D | MainLoop.cpp | 81 return MainLoopResult(Statistics::REFUTATION, rs.refutation); in run()
|
/dports/math/vampire/vampire-4.5.1/ |
H A D | vampire.cpp | 263 case Statistics::REFUTATION: in outputResult() 337 if (env.statistics->terminationReason==Statistics::REFUTATION in boundPropagationMode() 619 if (env.statistics->terminationReason == Statistics::REFUTATION in vampireMode() 652 case Statistics::REFUTATION: in spiderMode()
|
H A D | vltb.cpp | 157 case Statistics::REFUTATION: in outputResult()
|
H A D | vsat.cpp | 237 env.statistics->terminationReason = Statistics::REFUTATION; in satSolverMode()
|
/dports/math/vampire/vampire-4.5.1/UnitTests/ |
H A D | tTwoVampires.cpp | 93 if(env.statistics->terminationReason==Statistics::REFUTATION) { in runChild()
|
/dports/math/vampire/vampire-4.5.1/CASC/ |
H A D | PortfolioMode.cpp | 571 if (env.statistics->terminationReason == Statistics::REFUTATION || in runSlice()
|
H A D | CLTBMode.cpp | 990 if (env.statistics->terminationReason == Statistics::REFUTATION) { in runSlice()
|
H A D | CLTBModeLearning.cpp | 1138 if (env.statistics->terminationReason == Statistics::REFUTATION) { in runSlice()
|
/dports/math/vampire/vampire-4.5.1/InstGen/ |
H A D | IGAlgorithm.cpp | 650 case Statistics::REFUTATION: in doResolutionStep()
|
/dports/math/vampire/vampire-4.5.1/FMB/ |
H A D | FiniteModelBuilder.cpp | 1757 return MainLoopResult(Statistics::REFUTATION,empty); in runImpl() 1796 return MainLoopResult(Statistics::REFUTATION,empty); in runImpl()
|
/dports/games/connectagram/connectagram-1.2.11/data/en/ |
H A D | words | 52671 REFUTATION
|